Oriol Roig

According to our database, Oriol Roig authored at least 11 papers between 1994 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Checking Delay-Insensitivity: 10⁴ Gates and Beyond.

Alex Kondratyev, Oriol Roig, Lawrence Neukom, Karl Fant, Alexander Taubin

Proceedings of the 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 2002

2001

Symbolic Analysis of Bounded Petri Nets.

Enric Pastor, Jordi Cortadella, Oriol Roig

IEEE Trans. Computers, 2001

1998

Structural methods for the synthesis of speed-independent circuits.

Enric Pastor, Jordi Cortadella, Alex Kondratyev, Oriol Roig

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

1997

Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits.

Oriol Roig, Jordi Cortadella, Marco A. Peña, Enric Pastor

Proceedings of the 34st Conference on Design Automation, 1997

1996

Review of General and Toeplitz Vector Bidiagonal Solvers.

Josep Lluís Larriba-Pey, Juan J. Navarro, Angel Jorba, Oriol Roig

Parallel Comput., 1996

1995

A new look at the conditions for the synthesis of speed-independent circuits.

Enric Pastor, Jordi Cortadella, Oriol Roig

Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995

Checking signal transition graph implementability by symbolic BDD traversal.

Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev

Proceedings of the 1995 European Design and Test Conference, 1995

Hierarchical gate-level verification of speed-independent circuits.

Oriol Roig, Jordi Cortadella, Enric Pastor

Proceedings of the Second Working Conference on Asynchronous Design Methodologies, 1995

Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets.

Oriol Roig, Jordi Cortadella, Enric Pastor

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994

A generalized vision of some parallel bidiagonal systems solvers.

Josep Lluís Larriba-Pey, Juan J. Navarro, Oriol Roig, Angel Jorba

Proceedings of the 8th international conference on Supercomputing, 1994

Petri Net Analysis Using Boolean Manipulation.

Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia

Proceedings of the Application and Theory of Petri Nets 1994, 1994