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

Tam-Anh Chu

Browse the full ICCD paper archive.