Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Practical Introduction to PSLIntroduction

A Practical Introduction to PSL: Introduction [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.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

A Practical Introduction to PSLIntroduction

Download PDF
3 pages

Loading next page...
 
/lp/springer-journals/a-practical-introduction-to-psl-introduction-hQFp7kk3Fd
Publisher
Springer US
Copyright
© Springer Science+Business Media, LLC 2006
ISBN
978-0-387-35313-5
Pages
1 –4
DOI
10.1007/978-0-387-36123-9_1
Publisher site
See Chapter on Publisher Site

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.]

Published: Jan 1, 2006

There are no references for this article.