COMPREHENSIVE FUNCTIONAL VERIFICATION: THE COMPLETE INDUSTRY CYCLE

Le Monde En Tique

Commandez cet ouvrage

Ouvrage 9780127518039 : COMPREHENSIVE FUNCTIONAL VERIFICATION: THE COMPLETE INDUSTRY CYCLE
TABLE OF CONTENTS
1 Verification in the chip design process 5
2 Verification flow 35
3 Fundamentals of simulation based verification 73
4 The verification plan 103
5 HDLs and simulation engines 141
6 Creating environments 199
7 Strategies for simulation-based stimulus generation 259
8 Strategies for results checking in simulation-based verification 313
9 Pervasive function verification 355
10 Re-use strategies and system simulation 391
11 Introduction to formal verification 439
12 Using formal verification 487
13 Completing the verification cycle 539
14 Advanced verification techniques 579
15 Case studies 603


Auteur : WILE
Editeur : ACADEMIC PRESS
Nombre de pages : 704
Date de publication : 07 2005

Commandez cet ouvrage