This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
September/October 2011 (vol. 28 no. 5)
pp. 110-111
Nicolas Troquard, Laboratory for Applied Ontology (ISTC-CNR)

This is a review of A Practical Introduction to PSL (Springer, 2006) by Cindy Eisner and Dana Fisman. It is an excellent manual for engineers. The author explains why, seven years after the IEEE standardization, the absence of a textbook on PSL for the general academic community might be restraining the future development of hardware verification in industrial system designs.

Index Terms:
design and test, temporal logic, PSL, specification, verification, design, standards
Citation:
Nicolas Troquard, "Learning and Practice of the Property Specification Language," IEEE Design & Test of Computers, vol. 28, no. 5, pp. 110-111, Sept.-Oct. 2011, doi:10.1109/MDT.2011.111
Usage of this product signifies your acceptance of the Terms of Use.