Preliminaries; Contents; 1 INTRODUCTION; 2 CONSTRAINED RANDOM SIMULATION; 3 HIGH LEVEL VERIFICATION LANGUAGES; 4 ASSERTION LANGUAGES AND CONSTRAINTS; 5 PRELIMINARIES; 6 CONSTRAINED VECTOR GENERATION; 7 CONSTRAINT SIMPLIFICATION; 8 MORE OPTIMIZATIONS; 9 CONSTRAINT SYNTHESIS; 10 CONSTRAINT DIAGNOSIS; 11 WORD LEVEL CONSTRAINT SOLVING; A Acronyms; B Proofs; References; Index
Summary
Covers a field in functional verification of electronic designs, referred to as the "constraint-based verification." This book aims to show how constraints, or assertions, can be used towards automating the generation of testbenches, resulting in a seamless verification flow. It is aimed at verification engineers as well as researchers
Analysis
engineering
circuits
computertechnieken
computer techniques
computer software
elektrotechniek
electrical engineering
Engineering (General)
Techniek (algemeen)
Bibliography
Includes bibliographical references (pages 231-246) and index