VLSI Specification, Verification and Synthesis

VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12—16 January 1987. The collection of papers in this book represents some of the discussions and presentations at a workshop on hardware verification held in Calgary, January 12—16 1987. The thrust of the workshop was to give the floor to a few leading researchers involved in the use of formal approaches to VLSI design, and provide them ample time to develop not only their latest ideas but also the...