Stock image for illustration purposes only - book cover, edition or condition may vary.
VLSI Specification, Verification and Synthesis
. Ed(S): Birtwistle, Graham; Subrahmanyam, P. A.
€ 125.31
FREE Delivery in Ireland
Description for VLSI Specification, Verification and Synthesis
Paperback. Editor(s): Birtwistle, Graham; Subrahmanyam, P. A. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 404 pages, 1 black & white illustrations, biography. BIC Classification: THR; TJFC; UMA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 640.
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 errors in ... Read more
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 errors in ... Read more
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag New York Inc. United States
Number of pages
404
Condition
New
Series
The Springer International Series in Engineering and Computer Science
Number of Pages
404
Place of Publication
New York, NY, United States
ISBN
9781461291978
SKU
V9781461291978
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for VLSI Specification, Verification and Synthesis