• DocumentCode
    1333430
  • Title

    Learning and Practice of the Property Specification Language

  • Author

    Troquard, Nicolas

  • Author_Institution
    Laboratory for Applied Ontology (ISTC-CNR)
  • Volume
    28
  • Issue
    5
  • fYear
    2011
  • Firstpage
    110
  • Lastpage
    111
  • 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;
  • fLanguage
    English
  • Journal_Title
    Design & Test of Computers, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7475
  • Type

    jour

  • DOI
    10.1109/MDT.2011.111
  • Filename
    6028542
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1333430