List of selected reports

Year 2002

Year 2001

Year 2000

Year 1999

Year 1998

• Efficient Encoding Schemes for the Symbolic Analysis of Petri Nets.
  Enric Pastor and Jordi Cortadella.
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-1998-24, August 1998.
  Universitat Politècnica de Catalunya.
  

Year 1997

• Symbolic Techniques for the Automatic Test Pattern Generation for Speed-Independent Circuits.
  Marco A. Pe~na, Enric Pastor and Jordi Cortadella.
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-1997-04, January 1997.
  Universitat Politècnica de Catalunya.

• Symbolic Petri Net Analysis Using Boolean Manipulation..
  Enric Pastor, Jordi Cortadella and O. Roig.
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-1997-08, February 1997.
  Universitat Politècnica de Catalunya.
  

Year 1996

• Synthesis of Speed-independent Circuits from STG-unfolding Segment.
  A.Semenov, A.Yakovlev, E.Pastor, M.A. Pe~na and J.Cortadella.
  Departament of Computer Science,
  Tech. Report Num. 565, 1996.
  University of Newcastle upon Tyne.

• Partial Order Based Approach to Synthesis of Speed-independent Circuits.
  A.Semenov, A.Yakovlev, E.Pastor, M.A. Pe~na and J.Cortadella.
  Departament of Computer Science,
  Tech. Report Num. 566, 1996.
  University of Newcastle upon Tyne.
  

Year 1995

• Hierarchical Gate-Level Verification of Speed-Independent Circuits.
  Oriol Roig, Jordi Cortadella, and Enric Pastor.
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-1995-01, February 1995.
  Universitat Politècnica de Catalunya.

• Structural Algorithms for the Synthesis of Speed-independent Circuits from Signal Transition Graphs.
  Enric Pastor, Jordi Cortadella, Alex Kondratyev and Oriol Roig.
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-1995-35, October 1995.
  Universitat Politècnica de Catalunya.

Year 1994

• Conservative symbolic model-checking of Petri nets for speed-independent circuit verification.
  Oriol Roig, Jordi Cortadella, and Enric Pastor.
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-94/14, July 1994.
  Universitat Politècnica de Catalunya.

• Symbolic model-checking of Petri nets for the verification of speed-independent circuits.
  Oriol Roig, Jordi Cortadella, and Enric Pastor.
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-1994-26, April 1995.
  Universitat Politècnica de Catalunya.

• A New Look at the Conditions for the Synthesis of Speed-independent Circuits.
  Enric Pastor, Jordi Cortadella, and Oriol Roig.
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-1994-27, October 1994.
  Universitat Politècnica de Catalunya.

Year 1993

• P-time Unique State Coding Algorithms for Signal Transition Graphs.
  Enric Pastor and Jordi Cortadella.
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-93/13, May 1993.
  Universitat Politècnica de Catalunya.

• Polynomial Algorithms for Complete State Coding and Synthesis of Hazard-free Circuits from Signal Transition Graphs.
  Enric Pastor and Jordi Cortadella.
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-93/17, September 1993.
  Universitat Politècnica de Catalunya.