Specification and analysis of timing constraints in signal transition graphs
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Representation of control and timing behavior with applications to interface synthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Optimized synthesis of asynchronous control circuits from graph-theoretic specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Asynchronous self-timed circuit synthesis with timing constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989