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.
Tipo Pubblicazione:
Contributo in volume
Source:
edited by Troquard, Nicolas, pp. 110–111, 2011
Date:
2011
Resource Identifier:
http://www.cnr.it/prodotto/i/206050
https://dx.doi.org/10.1109/MDT.2011.111
info:doi:10.1109/MDT.2011.111
http://origin-www.computer.org/plugins/dl/pdf/mags/dt/2011/05/mdt2011050110.pdf?template=1&loginState=1&userData=anonymous-IP%253A%253AAddress%253A%2B92.122.215.84%252C%2B%255B140.98.196.191%252C%2B150.146.65.159%252C%2B92.122.215.84%252C%2B127.0.0.1%255D
Language:
Eng