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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Foster, Harry D. (Autor), Krolnik, Adam C. (Autor), Lacey, David J. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2005.
Edición:2nd ed. 2005.
Temas:
Electronic circuits.
Electrical engineering.
Computer-aided engineering.
Electronic Circuits and Systems.
Electrical and Electronic Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Assertion Methodology
  • Specifying RTL Properties
  • PLI-Based Assertions
  • Functional Coverage
  • Assertion Patterns
  • Assertion Cookbook
  • Specifying Correct Behavior.

Ejemplares similares