Assertion-Based Design

By Harry D. Foster, David J. Lacey, Adam C. Krolnik

Book Overview

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 146134848X
• ISBN13: 9781461348481
• Release Date: October 2012
• Publisher: Springer
• Length: 363 Pages
• Weight: 1.19 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"