Cohesive Coverage Management Leveraging Formal Test Plans

Cohesive Coverage Management Leveraging Formal Test Plans

AngličtinaMěkká vazbaTisk na objednávku
Hazra, Aritra
LAP Lambert Academic Publishing
EAN: 9783847376453
Tisk na objednávku
Předpokládané dodání ve středu, 7. května 2025
1 562 Kč
Běžná cena: 1 735 Kč
Sleva 10 %
ks
Chcete tento titul ještě dnes?
knihkupectví Megabooks Praha Korunní
není dostupné
Librairie Francophone Praha Štěpánská
není dostupné
knihkupectví Megabooks Ostrava
není dostupné
knihkupectví Megabooks Olomouc
není dostupné
knihkupectví Megabooks Plzeň
není dostupné
knihkupectví Megabooks Brno
není dostupné
knihkupectví Megabooks Hradec Králové
není dostupné
knihkupectví Megabooks České Budějovice
není dostupné
knihkupectví Megabooks Liberec
není dostupné

Podrobné informace

As the complexity of hardware designs is increasing rapidly day-by-day with the introduction of newer technologies, it is very important to ensure the correctness of these designs. During verification, the primary objective is to measure the coverage of the verified functionalities of a design and, hence, indicate the completeness of the verification effort. Since it is widely believed that the future of design verification lies in the co-existence of both simulation and formal property verification techniques, unifying the coverage goals for both of these contrasting verification technologies is becoming very essential. The inter-relationships among the simulation test plans, assertions and test benches are very important to the success of verification, but they are often loosely tied. In this monograph, we attempt to relate then more formally to achieve a potentially better strategy for cohesive coverage management in verification. We believe that the methods presented in this monograph will lead to wider adoption of the cohesive coverage management techniques in the design validation flow.
EAN 9783847376453
ISBN 3847376454
Typ produktu Měkká vazba
Vydavatel LAP Lambert Academic Publishing
Datum vydání 24. ledna 2012
Stránky 136
Jazyk English
Rozměry 229 x 152 x 8
Země Germany
Sekce General
Autoři Chakrabarti, P. P.; Dasgupta, Pallab; Hazra, Aritra
Edice Aufl.
Informace o výrobci
Kontaktní informace výrobce nejsou momentálně dostupné online, na nápravě intenzivně pracujeme. Pokud informaci potřebujete, napište nám na info@megabooks.cz, rádi Vám ji poskytneme.