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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2006 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
(2006). Introduction. In: A Practical Introduction to PSL. Series on Integrated Circuits and Systems. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-36123-9_1
Download citation
DOI: https://doi.org/10.1007/978-0-387-36123-9_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-35313-5
Online ISBN: 978-0-387-36123-9
eBook Packages: EngineeringEngineering (R0)