publication venue for A Behavioral Synthesis Method for Asynchronous Circuits with Bundled-data Implementation 2008 Hazard checking of timed asynchronous circuits revisited 2007
