CS5750 - Synthesis and Verification of Asynchronous VLSI Systems