A unified signal transition graph model for asynchronous control circuit synthesis.

For the most recent entries see the Petri Nets Newsletter.

A unified signal transition graph model for asynchronous control circuit synthesis.

Yakovlev, A.; Lavagno, L.; Sangiovanni-Vincentelli, A.

In: Formal Methods in System Design, pages 139-188. November 1996.

Keywords: asynchronous circuits, asynchronous controllers, delay-insensitive circuits, design automation, distributive lattices, modelling, Muller diagrams, Muller model, Petri net, semi-modular circuits, signal transition graph, speed-independent circuits, synthesis, tools, transition systems, verification.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography