Assertion-Based Design

• Κύριοι συγγραφείς: Foster, Harry (Συγγραφέας), Krolnik, Adam (Συγγραφέας), Lacey, David (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2005.
• Έκδοση: Second Edition.
• Θέματα: Engineering.; Computer-aided engineering.; Electrical engineering.; Electronic circuits.; Circuits and Systems.; Electrical Engineering.; Computer-Aided Engineering (CAD, CAE) and Design.

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...

Πίνακας περιεχομένων:

• Assertion Methodology
• Specifying RTL Properties
• PLI-Based Assertions
• Functional Coverage
• Assertion Patterns
• Assertion Cookbook
• Specifying Correct Behavior.