A Practical Introduction to PSL

A Practical Introduction to PSL describes the Property Specification Language PSL, recently standardized as IEEE Std 1850-2005. PSL provides a way to express properties of a design. Both authors, Cindy Eisner (IBM Haifa Research Laboratory, Haifa University Campus, Haifa, Israel) and Dana Fisman (Th...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Eisner, Cindy (Autor), Fisman, Dana (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Integrated Circuits and Systems,
Temas:
Electronic circuits.
Computer-aided engineering.
Compilers (Computer programs).
Electronic Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Basic Temporal Properties
  • Some Philosophy
  • Weak vs. Strong Temporal Operators
  • SERE Style
  • Clocks
  • Aborting a Property
  • Some Convenient Constructs
  • The Simple Subset
  • The Boolean, Modeling, and Verification Layers
  • Advanced Topics
  • More Philosophy - High- vs. Low-level Assertions
  • Common Errors
  • Multiply-clocked Designs.

Ejemplares similares