Toggle Main Menu Toggle Search

Open Access padlockePrints

Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers

Lookup NU author(s): Professor Alex Yakovlev


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Cortadella J, Kondratyev A, Kishinevsky M, Lavagno L, Yakovlev A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Unknown

Conference Name: 11th Conference on Design of Integrated Circuits and Systems (DCIS)

Year of Conference: 1996

Pages: 205-210