Oriol Roig

12 papers A* 1A 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2002 — conf
Checking Delay-Insensitivity: 10
ASYNC
Alex Kondratyev, Oriol Roig, Lawrence Neukom, Karl Fant, Alexander Taubin
2001 J jnl
Symbolic Analysis of Bounded Petri Nets.
IEEE Trans. Computers
Enric Pastor, Jordi Cortadella, Oriol Roig
1998 J jnl
Structural methods for the synthesis of speed-independent circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Enric Pastor, Jordi Cortadella, Alex Kondratyev, Oriol Roig
1997 A* conf
Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits.
DAC
Oriol Roig, Jordi Cortadella, Marco A. Peña, Enric Pastor
1996 J jnl
Review of General and Toeplitz Vector Bidiagonal Solvers.
Parallel Comput.
Josep Lluís Larriba-Pey, Juan J. Navarro, Angel Jorba, Oriol Roig
1996 — conf
Structural Methods for the Synthesis of Speed-Independent Circuits.
ED&TC
Enric Pastor, Oriol Roig, Jordi Cortadella, Alex Kondratyev
1995 — conf
A new look at the conditions for the synthesis of speed-independent circuits.
Great Lakes Symposium on VLSI
Enric Pastor, Jordi Cortadella, Oriol Roig
1995 — conf
Checking signal transition graph implementability by symbolic BDD traversal.
ED&TC
Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev
1995 — conf
Hierarchical gate-level verification of speed-independent circuits.
ASYNC
Oriol Roig, Jordi Cortadella, Enric Pastor
1995 — conf
Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets.
Application and Theory of Petri Nets
Oriol Roig, Jordi Cortadella, Enric Pastor
1994 A conf
A generalized vision of some parallel bidiagonal systems solvers.
International Conference on Supercomputing
Josep Lluís Larriba-Pey, Juan J. Navarro, Oriol Roig, Angel Jorba
1994 — conf
Petri Net Analysis Using Boolean Manipulation.
Application and Theory of Petri Nets
Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia