A Practical Introduction to Psl - Couverture rigide

Eisner, Cindy; Fisman, Dana

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.

Détails de l'édition

• É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; Hamburg; Allemagne