Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Practical Design Verification

Name: Practical Design Verification
Brand: Cambridge University Press
SKU: 02047589
Price: 62511 HUF
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

427 b

62 511 Ft

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

11 213 Ft

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

Paperback

9 627 Ft

Ange movie Durand

Paperback

8 708 Ft

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

Paperback

0 Ft

Partnerschafts-Astrologie Akron

Hardback

8 176 Ft

Prevencion del fracaso escolar Minaca Laprida Maria Isabel

Paperback

12 456 Ft

Produktivitatsorientiertes Management von Anlagensystemen Manfred Hupfauer

Paperback

18 233 Ft

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).