.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Assertion-Based Design
Foster, Harry D.; Krolnik, Adam C.; Lacey, David
€ 202.14
FREE Delivery in Ireland
Description for Assertion-Based Design
Hardback. Focuses on how to specify assertions, how to create and adopt a methodology that supports assertion-based design, and what to do with the assertions and methodology. This title offers multiple forms of assertion specifications: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera System Verilog. Series: Information Technology: Transmission, Processing and Storage. Num Pages: 390 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 28. Weight in Grams: 726.
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. ... Read more
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. ... Read more
Product Details
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
390
Condition
New
Series
Information Technology: Transmission, Processing and Storage
Number of Pages
390
Place of Publication
New York, NY, United States
ISBN
9781402080272
SKU
V9781402080272
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Assertion-Based Design
"David Lacey, Harry and Adam are key participants on the Acceller SystemVerilog Standards Group. Their practical verification experience has contributed to the value of the assertion enhancements added to the SystemVerilog standard. These three verification specialists have written a book that will endow the reader with an understanding of the fundamental and important topics needed to comprehend and implement assertion ... Read more