Document Type
Technical Report
Publication Date
2005-09-16
Technical Report Number
WUCSE-2005-43
Abstract
Methods are presented for synthesizing delay-insensitive circuits whose behavior is specified by Petri net models of macromodular control elements. These control elements implement five natural functions used in asynchronous system design. Particular attention is paid to modules requiring mutual exclusion where metastability must be carefully controlled.
Recommended Citation
Cox, J. R. and Zar, D., "Synthesis of Control Elements from Petri Net Models" Report Number: WUCSE-2005-43 (2005). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/960
COinS
Comments
Permanent URL: http://dx.doi.org/10.7936/K7DN43C6