Titlebook: Logic Synthesis for Asynchronous Controllers and Interfaces; J. Cortadella,M. Kishinevsky,A. Yakovlev Book 2002 Springer-Verlag Berlin Hei

Incommensurate

無孔

行業(yè)

antipsychotic

Logic Synthesis,rface designer. On one hand, STGs are very similar to Timing Diagrams, which can be seen as a conventional pragmatic design notation. On the other hand, they are based on the formally sound theory of Petri nets, with a clearly defined syntax and semantics, and a plethora of algorithms and techniques for model analysis and transformations.