Oriol Roig

Publication Activity (10 Years)

Years Active: 1994-2002
Publications (10 Years): 0

Publications

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