A generalized state assignment theory for transformations on signal transition graphs
- 1 February 1994
- journal article
- research article
- Published by Springer Nature in Journal of Signal Processing Systems
- Vol. 7 (1-2) , 101-115
- https://doi.org/10.1007/bf02108192
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Formal method for self-timed designPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Optimized synthesis of asynchronous control circuits from graph-theoretic specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Optimized synthesis of asynchronous control circuits from graph-theoretic specificationsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992
- Test pattern generation using Boolean satisfiabilityIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992
- A generalized state assignment theory for transformations on signal transition graphsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- Algorithms for synthesis of hazard-free asynchronous circuitsPublished by Association for Computing Machinery (ACM) ,1991
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Communicating sequential processesCommunications of the ACM, 1978
- Asynchronous sequential switching circuits with unrestricted input changesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1970
- Internal State Assignments for Asynchronous Sequential MachinesIEEE Transactions on Electronic Computers, 1966