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 PSLSERE Style

A Practical Introduction to PSL: SERE Style [Up until now, we have seen PSL properties that are built of Boolean expressions and temporal operators in LTL style. Another way to build properties is to use SEREs — Sequential Extended Regular Expressions. SEREs are similar in spirit to standard regular expressions, like those used for pattern matching in many applications. One difference is that the atoms of a SERE are Boolean expressions, whereas the atoms of a standard regular expression are single characters.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

A Practical Introduction to PSLSERE Style

Part of the Series on Integrated Circuits and Systems Book Series
Springer Journals — Jan 1, 2006
Download PDF
28 pages

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

Abstract

[Up until now, we have seen PSL properties that are built of Boolean expressions and temporal operators in LTL style. Another way to build properties is to use SEREs — Sequential Extended Regular Expressions. SEREs are similar in spirit to standard regular expressions, like those used for pattern matching in many applications. One difference is that the atoms of a SERE are Boolean expressions, whereas the atoms of a standard regular expression are single characters.]

Published: Jan 1, 2006

Keywords: Data Transfer; Single Cycle; Concatenation Operator; Boolean Expression; Current Cycle

There are no references for this article.