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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1109/MDT.2011.111 | IEEE Design & Test of Computers |
Keywords | Field | DocType |
general academic community,cindy eisner,hardware verification,ieee standardization,practical introduction,future development,industrial system design,property specification language,dana fisman,temporal logic,specification,design,verification,psl | Functional verification,Software engineering,Computer science,Industrial systems,Property Specification Language,Language Of Temporal Ordering Specification,Temporal logic,Academic community,Standardization | Journal |
Volume | Issue | Citations |
28 | 5 | 0 |
PageRank | References | Authors |
0.34 | 0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nicolas Troquard | 1 | 266 | 29.54 |