Assertion-Based Design
- المؤلف
- Harry Foster, Adam Krolnik, David Lacey
- سنة النشر
- 2005
- الناشر
- Springer
- لغة الملف
- انكليزي
- نوع الملف
- Book
- تصنيف الكتاب
- Engineering
- تحميل الكتاب قراءة الكتاب
Chapter 3 Specifying RTL Properties 61 3. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3 3. 1 Immediate assertions 84 3. 3 System functions 95 3. 3 Assertions across simulation time slots 111 4.
الكلمات المفتاحية: Engineering / RTL / Standard / Verilog / Material / Modeling / Patterns / Verification
