ebook ebooks e-book e-books downloaden bei MyEbooks.ch downloaden

Assertion-Based Design

:	Harry D. Foster, Adam C. Krolnik, David J. Lacey
:	Assertion-Based Design
:	Springer-Verlag
:	9781402080289
:	2
:	CHF 132.90
:

:	Elektronik, Elektrotechnik, Nachrichtentechnik
:	English

:	406
:	Wasserzeichen/DRM
:	PC/MAC/eReader/Tablet
:	PDF

Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 3. 2. 2 Constraint versus assertion 67 3. 2. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 3. 1 3. 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3. 3 3. 3. 4 PSL and default clock declaration 74 3. 3. 5 Specifying sequences 75 3. 3. 6 Specifying eventualities 80 3. 3. 7 PSL built-in functions 82 3. 4Pragma-based assertions 82 3. 5 SystemVerilog assertions 84 3. 5. 1 Immediate assertions 84 3. 5. 2Concurrent assertions 86 3. 5. 3 System functions 95 3. 6 PCI property specification example 96 3. 6. 1 PCI overview 96 3. 7 Summary 102 Chapter 4 PLI-Based Assertions 103 4. 1 Procedural assertions 104 4. 1. 1 A simple PLI assertion 105 4. 1. 2 Assertions within a simulation time slot 108 4. 1. 3 Assertions across simulation time slots 111 4. 1. 4 False firing across multiple time slots 116 4. 2 PLI-based assertion library 118 4. 2. 1 Assert quiescent state 119 4. 3 Summary 123 Chapter 5 Functional Coverage 125 5. 1 Verification approaches 126 5. 2 Understanding coverage 127 5. 2. 1 Controllability versus observability 128 5. 2.

	TABLE OF CONTENTS	6
	PREFACE	15
	Book organization	17
	New in Second Edition	20
	Acknowledgements	20
	1 INTRODUCTION	22
	1.1 Property checking	22
	1.2 Verification techniques	23
	1.3 What is an assertion?	24
	1.3.1 A historical perspective	25
	1.3.2 Do assertions really work?	27
	1.3.3 What are the benefits of assertions?	28
	1.3.4 Why are assertions not used?	32
	1.4 Phases of the design process	35
	1.4.1 Ensuring requirements are satisfied	37
	1.4.2 Techniques for ensuring consistency	39
	1.4.3 Roles and ownership	40
	1.5 Summary	41
	2 ASSERTION METHODOLOGY	42
	2.1 Design methodology	42
	2.1.1 Project planning	43
	2.1.2 Design requirements	48
	2.1.3 Design documents	49
	2.1.4 Design reviews	50
	2.1.5 Design validation	51
	2.2 Assertion methodology for new designs	51
	2.2.1 Key learnings	52
	2.2.2 Best practices	54
	2.2.3 Assertion density	58
	2.2.4 Process for adding assertions	60
	2.2.5 When not to add assertions	60
	2.3 Assertion methodology for existing designs	61
	2.4 Assertions and simulation	63
	2.5 Assertions and formal verification	65
	2.5.1 Formal verification framework	65
	2.5.2 Formal methodology	69
	2.5.3 ECC example	74