Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Practical Design Verification

Name: Practical Design Verification
Brand: Cambridge University Press
SKU: 02047589
Price: 164.27 EUR
Availability: InStock
Author: Dhiraj K. PradhanIan G. Harris
ISBN: 9780521859721

Dhiraj K. PradhanIan G. Harris

Language

English

Book Hardback

Libristo code: 02047589

Publishers Cambridge University Press, June 2009

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based... Full description

Libristo code: 02047589

397 b

164.27 €

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Excel (versions 2024 et Microsoft 365) RIGOLLET

Paperback

31.69 €

Cours élémentaire de géologie, à l'usage de l'enseignement secondaire. 7e édition Jules Gosselet

Paperback

27.13 €

Ange movie Durand

Paperback

22.47 €

Elementos de Didática do Direito (2a ediç?o) Alfredo Braga Furtado

Paperback

0.00 €

Partnerschafts-Astrologie Akron

Hardback

21.06 €

Prevencion del fracaso escolar Minaca Laprida Maria Isabel

Paperback

32.10 €

Produktivitatsorientiertes Management von Anlagensystemen Manfred Hupfauer

Paperback

47.29 €

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT).