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

By Cindy Eisner, Dana Fisman

This publication describes the valuables Specification Language PSL, lately standardized as IEEE typical 1850-2005. PSL was once constructed to satisfy the next requisites: effortless to benefit, write, and skim; concise syntax; conscientiously well-defined formal semantics; expressive energy, allowing the specification for a wide category of genuine international layout houses; recognized effective underlying algorithms in simulation, in addition to formal verification. easy gains are lined, in addition to complex subject matters similar to using PSL in multiply-clocked designs. a whole bankruptcy is dedicated to universal blunders, collected during the authors' a long time of expertise in utilizing and instructing the language.

Show description

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

Best introduction books

Schopenhauer: A Very Short Introduction (Very Short Introductions)

Schopenhauer is taken into account to be the main readable of German philosophers. This booklet supplies a succinct clarification of his metaphysical process, targeting the unique elements of his proposal, which impressed many artists and thinkers together with Nietzsche, Wagner, Freud, and Wittgenstein. Schopenhauer's crucial proposal is that of the will--a blind, irrational strength that he makes use of to interpret either the human brain and the full of nature.

Solitons: Introduction and Applications

A great deal of the cloth provided during this publication has been ready by way of most sensible specialists within the box lecturing in January 1987 on the iciness college on Solitons in Tiruchirapalli,India. The lectures start at an straightforward point yet move directly to contain even the newest advancements within the box. The e-book makes a convenient creation to some of the aspects of the soliton notion, and may be valuable either to beginners to the sphere and to researchers who're attracted to advancements in new branches of physics and arithmetic.

Portfolio Analytics: An Introduction to Return and Risk Measurement

This textbook first introduces the reader to come back size after which is going directly to examine the time-weighted expense of go back (TWR) with the money-weighted cost of go back (MWR). to stress the significance of danger along side go back, varied monitoring blunders are analyzed and ex-post as opposed to ex-ante possibility figures are in comparison.

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

Example text

13a. 13(i). 13(i). They do not start with an assertion of busy, nor do they end with one. 4. 11c) Fig. 11: Repeating a SERE 45 46 Chapter 5. 12a) Fig. 12: Stand-alone [*n] is equivalent to ‘true[*n] the beginning and/or at the end. In other words, it will match any sequence of cycles in which the number of assertions of the Boolean expression being repeated is equal to n (thus the use of the equals sign in [=n]). If you want to disallow the padding at the end, use the goto repetition operator [->n].

18b. 18c. 18c) |-> {read complete} Fig. 18: The SERE “or” operator 52 Chapter 5. SERE Style The SERE “and” operator comes in two types: length-matching and nonlength-matching. Both the length-matching (&&) and the non-length-matching (&) “and” operators match a sequence of cycles if starting at the current cycle, the left-hand side and the right-hand side are matched. The difference is that in addition, the length-matching “and” operator requires that the lengths of the sequences matched by both the left- and right-hand sides are the same, while the non-length-matching operator matches even if they are different.

In the case of a clocked property, the result of a cycle-based tool will be the same as the result of an event-based tool. PSL allows the specification of a default clock, so that the clock does not have to be mentioned explicitly for each and every property. In most of this book we have assumed a singly clocked design under the cycle-based model, and thus most examples omit the explicit mention of the clock. Clocks are discussed in detail in Chapters 6 and 14. 3 Designs and traces The purpose of a PSL property is to describe the desired behavior of a design.

Download PDF sample

Rated 4.13 of 5 – based on 50 votes