Assertion-Based Design

Assertion-Based Design

Show other versions (1)

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

Bibliographic Details
Main Authors: Foster, Harry (Author), Krolnik, Adam (Author), Lacey, David (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: Boston, MA : Springer US, 2005.
Edition:Second Edition.
Subjects:
Engineering.
Computer-aided engineering.
Electrical engineering.
Electronic circuits.
Circuits and Systems.
Electrical Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items