Cover Image

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

Full description

Saved in:
Bibliographic Details
Main Authors: Foster, Harry D. (Author, http://id.loc.gov/vocabulary/relators/aut), Krolnik, Adam C. (http://id.loc.gov/vocabulary/relators/aut), Lacey, David J. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 2005.
Edition:2nd ed. 2005.
Subjects:
Electronic circuits.
Electrical engineering.
Computer-aided engineering.
Circuits and Systems.
Electrical Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Online Access:https://doi.org/10.1007/b117047
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.1007/b117047

Similar Items