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 commonplace 1850-2005. PSL used to be built to satisfy the subsequent specifications: effortless to profit, write, and browse; concise syntax; conscientiously well-defined formal semantics; expressive strength, allowing the specification for a wide classification of actual global layout houses; identified effective underlying algorithms in simulation, in addition to formal verification. easy positive factors are coated, in addition to complex issues resembling using PSL in multiply-clocked designs. a whole bankruptcy is dedicated to universal mistakes, collected in the course of the authors' decades of expertise in utilizing and instructing the language.

Show description

By Cindy Eisner, Dana Fisman

This booklet describes the valuables Specification Language PSL, lately standardized as IEEE commonplace 1850-2005. PSL used to be built to satisfy the subsequent specifications: effortless to profit, write, and browse; concise syntax; conscientiously well-defined formal semantics; expressive strength, allowing the specification for a wide classification of actual global layout houses; identified effective underlying algorithms in simulation, in addition to formal verification. easy positive factors are coated, in addition to complex issues resembling using PSL in multiply-clocked designs. a whole bankruptcy is dedicated to universal mistakes, collected in the course of the authors' decades of expertise in utilizing and instructing the language.

Show description

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

Similar introduction books

Looking Awry: An Introduction to Jacques Lacan through Popular Culture (October Books)

Slavoj Žižek, a number one highbrow within the new social activities which are sweeping japanese Europe, presents a virtuoso studying of Jacques Lacan. Žižek inverts present pedagogical ideas to provide an explanation for the tricky philosophical underpinnings of the French theoretician and practician who revolutionized our view of psychoanalysis.

Brown-Peterson Homology: An Introduction and Sampler (Cbms Regional Conference Series in Mathematics 48)

This e-book is basically directed to graduate scholars attracted to the sector and to algebraic topologists who desire to study whatever approximately BP. starting with the geometric historical past of complicated bordism, the writer is going directly to a dialogue of formal teams and an advent to BP-homology. He then provides his view of the main advancements within the box within the final decade (the calculation of the homology of Eilenberg-MacLane areas during this part will be priceless in instructing complex algebraic topology courses).

Day Trading Systems & Methods

Utilizing your desktop to Day exchange hasn't ever been extra well known. however it is usually dicy enterprise. enjoy the easy truths LeBeau and Lucas supply - and remain at the profitable part of the ranking sheet extra frequently! This compact little book quite packs a punch. most sensible execs hide all of the day buying and selling necessities together with: 1) What it truly is 2) easy methods to start three) charges of doing enterprise four) Maximizing gains five) 12 significant platforms and strategies for day buying and selling luck Plus, a demo disk assists readers in utilizing their laptop and analytical software program while making any buying and selling determination.

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

Example text

For the more complicated assertions of PSL, which first of all stand apart from the code (so that the notion of “execution” is foreign 20 Chapter 3. Some Philosophy to them) and which second of all span multiple time steps, the notion of time must be given more consideration. PSL assumes that time is discrete, that is, that time consists of a sequence of evaluation cycles. The meaning of a PSL property is defined relative to such a sequence of cycles. In this book, we will refer to such a sequence of cycles as a trace.

The underscore ( ) is intended to represent the cycle in which we allow an overlap between the left and right sides. 9c. What if the assertion of ack is allowed to come, not together with the next assertion of req, but rather together with the request being acknowledged? 5. eventually! 9(iii)? 9b is not the answer. 9d. 5 eventually! 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).

5 Operators without weak or strong versions We have seen weak and strong versions of many operators. The eventually! operator is not a strong version of some other operator. In other words, there is no weak version of eventually!. The reason is that the meaning of other strong operators can be broadly described as requiring that nothing bad must happen up until some terminating condition, and in addition, the terminating condition must eventually occur. The weak versions then waive the requirement that the terminating condition eventually occur, leaving only the requirement that nothing bad must happen.

Download PDF sample

Rated 4.17 of 5 – based on 46 votes