Synthesis and verification of asynchronous circuits from graphical specifications
Synthesis and verification of asynchronous circuits from graphical specifications
Specification, synthesis, and verification of hazard-free asynchronous circuits
Journal of VLSI Signal Processing Systems - Special issue: asynchronous circuit design for VLSI signal processing
A generalized state assignment theory for transformation on signal transition graphs
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Exact two-level minimization of hazard-free logic with multiple-input changes
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS
ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS
Elimination of Dynamic Hazards from Signal Transition Graphs
VLSID '96 Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile Communication
Hi-index | 0.00 |