Automatic Synthesis and Verification of Hazard-Free Control Circuits from Asynchronous Finite State Machine Specifications

Authors:
Tam-Anh Chu
Affiliations:
-
Venue:
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Year:
1992

Citing 0
Cited 4

An efficient critical race-free state assignment technique for asynchronous finite state machines

DAC '93 Proceedings of the 30th international Design Automation Conference
Basic gate implementation of speed-independent circuits

DAC '94 Proceedings of the 31st annual Design Automation Conference
Polynomial algorithms for the synthesis for hazard-free circuits from signal transition graphs

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Synthesis of Hazard-Free Asynchronous Circuits Based on Characteristic Graph

IEEE Transactions on Computers

Quantified Score

Hi-index	0.00

Visualization

Abstract