Download A Practical Introduction to PSL (Series on Integrated by Cindy Eisner, Dana Fisman PDF

By Cindy Eisner, Dana Fisman

This booklet describes the valuables Specification Language PSL, lately standardized as IEEE average 1850-2005. PSL used to be constructed to meet the next requisites: effortless to profit, write, and browse; concise syntax; carefully well-defined formal semantics; expressive energy, allowing the specification for a wide classification of actual global layout homes; identified effective underlying algorithms in simulation, in addition to formal verification. simple good points are coated, in addition to complex subject matters equivalent to using PSL in multiply-clocked designs. a whole bankruptcy is dedicated to universal blunders, accumulated during the authors' decades of expertise in utilizing and educating the language.

Show description

Read or Download A Practical Introduction to PSL (Series on Integrated Circuits and Systems) PDF

Similar introduction books

The Complete Guide to Day Trading: A Practical Manual From a Professional Day Trading Coach

Research the paintings of Day buying and selling With a realistic Hands-On strategy do you need to be an afternoon dealer? each day, hundreds of thousands of bucks switch palms within the markets, featuring the correct chance for individuals similar to you to make major cash and earnings throughout the artwork of day buying and selling. yet here is the query: is day buying and selling good for you?

Tactical Trend Trading: Strategies for Surviving and Thriving in Turbulent Markets

"Follow tendencies and become profitable, or do not stick with tendencies and do not earn money. Robert Robbins desires traders to stick with developments. His attempt is to be saluted. " —Michael W. Covel, bestselling writer of development Following, the total Turtle Trader,and pattern Commandments "A must-read for either the skilled and newbies.

Additional resources for A Practical Introduction to PSL (Series on Integrated Circuits and Systems)

Sample text

The eventually! operator allows you to specify that something must occur in the future without saying exactly when. 10a states that every request (assertion of req) must be followed at some time with an acknowledge (assertion of ack). 10(i). 2. ) of the eventually! operator indicates that it is a strong operator. We discuss weak vs. strong temporal operators in detail in Chapter 4. 10a holds assert always (req -> eventually! ack); Fig. 10: The eventually! 10a) 3 Some Philosophy We have seen some basic PSL and gotten a feel for how it is intended to be used.

Fig. 7: A weak SERE holds even if the trace is “too short”, while a strong SERE must “reach the end” 42 Chapter 5. 3 The never operator applied to a SERE Another way to use a SERE is in describing sequences of events that should never happen. 8(i). 9a. 8a) Fig. 9a does not hold assert never {req && high pri ; ack ; cancel}; Fig. 4. SERE repetition operators ([*n], [=n], and [->n]) 43 a cycle later by ack) cannot be canceled (assertion of cancel the cycle after ack). 9(ii). 4 SERE repetition operators ([*n], [=n], and [->n]) Up until now, we have seen basic SEREs composed of (possibly repeated) Boolean expressions separated by semi-colons.

3b. 3a is written in such a way that the cycles involved in calculating the left-hand side of the logical implication overlap those involved in calculating the right-hand side of the logical implication: calculating the “if” part of the logical implication involves examining the current cycle and also “looking ahead” six cycles, while calculating the “then” part of the logical implication involves examining the current cycle and also “looking ahead” two cycles. Thus the overlap results from the logical implication itself.

Download PDF sample

Rated 4.76 of 5 – based on 38 votes