Chargement en cours…
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...
| Cote: | Libro Electrónico |
|---|---|
| Auteurs principaux: | , , |
| Collectivité auteur: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
New York, NY :
Springer US : Imprint: Springer,
2005.
|
| Édition: | 2nd ed. 2005. |
| Sujets: | |
| Accès en ligne: | Texto Completo |