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 PSLThe Boolean, Modeling, and Verification Layers

A Practical Introduction to PSL: The Boolean, Modeling, and Verification Layers [Up until now, we have focused almost exclusively on the temporal layer. In this chapter, we briefly discuss various aspects of the Boolean, modeling and verification layers not yet covered.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

A Practical Introduction to PSLThe Boolean, Modeling, and Verification Layers

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

Loading next page...
 
/lp/springer-journals/a-practical-introduction-to-psl-the-boolean-modeling-and-verification-W04AMJ87lA
Publisher
Springer US
Copyright
© Springer Science+Business Media, LLC 2006
ISBN
978-0-387-35313-5
Pages
103 –107
DOI
10.1007/978-0-387-36123-9_10
Publisher site
See Chapter on Publisher Site

Abstract

[Up until now, we have focused almost exclusively on the temporal layer. In this chapter, we briefly discuss various aspects of the Boolean, modeling and verification layers not yet covered.]

Published: Jan 1, 2006

There are no references for this article.