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.
Learning and Practice of the Property Specification Language
Troquard;Nicolas
2011
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
