Articles liés à A Practical Introduction to Psl

A Practical Introduction to Psl - Couverture rigide

Livre 6 sur 34: Integrated Circuits and Systems

Eisner, Cindy; Fisman, Dana

 
9780387353135: A Practical Introduction to Psl
Couverture rigide
ISBN 10 : 0387353135 ISBN 13 : 9780387353135
Editeur : Springer-Verlag New York Inc., 2006

Synopsis

This book describes the Property Specification Language PSL, recently standardized as IEEE Standard 1850-2005. PSL was developed to fulfill the following requirements: easy to learn, write, and read; concise syntax; rigorously well-defined formal semantics; expressive power, permitting the specification for a large class of real world design properties; known efficient underlying algorithms in simulation, as well as formal verification. Basic features are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs. A full chapter is devoted to common errors, gathered through the authors' many years of experience in using and teaching the language.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag New York Inc.
Date d'édition
2006
Langue
anglais
ISBN 10 
0387353135
ISBN 13 
9780387353135
Reliure
Relié
Nombre de pages
256
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
0
Hamburg
22391
Allemagne