Practical Design Verification

Name: Practical Design Verification
Brand: Cambridge University Press
SKU: 9780521859721
Price: 60698 HUF
Availability: InStock

Szerző: Dhiraj K. PradhanIan G. Harris

Nyelv:

Kötés: Kemény kötésű

Kiadó: Cambridge University Press

Elérhetőség: Beszállítói készleten

Küldés 9-15 napon belül

60 698 Ft

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

Információk a könyvről

Szerző

Dhiraj K. PradhanIan G. Harris

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2009

oldal

288

EAN

9780521859721

ISBN

0521859727

Enbook ID

02047589

Kiadó

Cambridge University Press

Súly

714

Méretek

181 x 254 x 18

Teljes leírás

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

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Practical Design Verification

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták