11 - 14 of 14 Chapters
[Until now, we have spoken in terms of a PSL property holding or not on a given trace, and in fact, the meaning of a PSL operator is given by defining when a property using it holds or does not hold. However, PSL actually defines four additional terms that can be used to relate a property to a...
[So now you know PSL. What are you going to do with it? In this chapter, we discuss the what, rather than the how, of specifying in PSL using three simple but real-world examples.]
[In this chapter, we discuss some common errors that beginning users of PSL tend to make, and provide some guidelines for avoiding them.]
[In Chapter 6, we examined singly-clocked designs and multiply-clocked designs where all signals in a property are clocked on the same clock. Suppose now that we have the case shown in Figure 14.1. That is, we want to specify that signal b is a latched version of signal a, where signals a and b...
Read and print from thousands of top scholarly journals.
Continue with Facebook
Log in with Microsoft
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.