Assertion-based design
- 作者: Foster, Harry,
- 其他作者: Krolnik, Adam. , Lacey, David
- 出版: Boston : Kluwer Academic Publishers ©2004.
- 版本: 2nd ed.
- 稽核項: 1 online resource (xxiii, 390 pages) :illustrations.
- 標題: TECHNOLOGY & ENGINEERING , Electronic books. , TECHNOLOGY & ENGINEERING Electronics -- Circuits -- VLSI & ULSI. , Verilog (Computer hardware description language) , Vérification. , Integrated circuits Verification. , Verification. , ElectronicsCircuitsVLSI & ULSI. , COMPUTERS Logic Design. , COMPUTERS , Circuits intégrés Vérification. , Circuits intégrés , Verilog (Langage de description de matériel informatique) , Integrated circuits Very large scale integration -- Design and construction. , Very large scale integrationDesign and construction. , ElectronicsCircuitsLogic. , TECHNOLOGY & ENGINEERING Electronics -- Circuits -- Logic. , Logic Design. , Ingénierie. , Circuitos integrados vlsi. , Integrated circuits
- ISBN: 140208028X , 9781402080289
- 試查全文@TNUA:
- 附註: Includes bibliographical references (pages 379-383) and index. Assertion Methodology -- Specifying RTL Properties -- PLI-Based Assertions -- Functional Coverage -- Assertion Patterns -- Assertion Cookbook -- Specifying Correct Behavior.
- 摘要: 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.
- 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=118318
- 系統號: 005313363
- 資料類型: 電子書
- 讀者標籤: 需登入
- 引用網址: 複製連結
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.
來源: Google Book
來源: Google Book
評分