@book{98c5de4867324133914079ba8548ec34,
title = "A Practical Introduction to PSL",
abstract = "PSL is a property specification language. It is a means to express properties of a design, and in addition to specify how verification tools should use those properties. For example, a property may be asserted — this specifies that the design in question is expected to behave as described by the property. A property may also be assumed — this specifies that the design in question expects its inputs to behave as described by the property. PSL also provides other directives, for instance a means to specify scenarios that should be covered.",
keywords = "Assertion Languages, Assertion-Based Verification, Formal property specification, Simulation and formal verification, Standard, Temporal logic, algorithms, computer-aided design (CAD), layers, logic, modeling, semantics, Simulation",
author = "Cindy Eisner and Dana Fisman",
year = "2006",
month = jul,
doi = "10.1007/978-0-387-36123-9",
language = "English",
isbn = "9780387353135",
series = "Integrated Circuits and Systems",
publisher = "Springer New York",
address = "United States",
}