1 “...VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16...”

2 Table of Contents: “... and Asynchronous Circuit Design -- Synthesizing Asynchronous Circuits: Practice and Experience -- VLSI Programming...”