VLSI Specification, Verification and Synthesis
Broschiertes Buch

VLSI Specification, Verification and Synthesis

Versandkostenfrei!
Versandfertig in 1-2 Wochen
77,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
39 °P sammeln!
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 evolution of these ideas. In contrast to simulation, where the objective is to assist in detecting error...