Title :
Learning and Practice of the Property Specification Language
Author :
Troquard, Nicolas
Author_Institution :
Laboratory for Applied Ontology (ISTC-CNR)
Abstract :
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.
Keywords :
PSL; design; design and test; specification; standards; temporal logic; verification;
Journal_Title :
Design & Test of Computers, IEEE
DOI :
10.1109/MDT.2011.111
