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 commonplace 1850-2005. PSL used to be built to meet the next necessities: effortless to benefit, write, and skim; concise syntax; carefully well-defined formal semantics; expressive strength, allowing the specification for a wide category of actual global layout homes; recognized effective underlying algorithms in simulation, in addition to formal verification. easy positive factors are coated, in addition to complicated themes akin to using PSL in multiply-clocked designs. a whole bankruptcy is dedicated to universal blunders, accrued throughout 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

Discourse: A Critical Introduction (Key Topics in Sociolinguistics)

Equipped thematically, this advent outlines the fundamental rules and strikes directly to learn the tools and idea of CDA (critical discourse analysis). issues coated contain textual content and context, language and inequality, selection and resolution, historical past and approach, ideology and identification. Jan Blommaert specializes in how language can provide a vital knowing of wider elements of energy family, arguing that CDA should still in particular research the results of strength.

Introduction to metallurgy, 2nd Edition

This vintage textbook has been reprinted via The Institute of fabrics to supply undergraduates with a huge evaluate of metallurgy from atomic idea, thermodynamics, response kinetics, and crystal physics.

OSS for Telecom Networks: An Introduction to Network Management

Smooth telecom networks are automatic, and are run via OSS software program or "operational aid systems”. those deal with glossy telecom networks and supply the information that's wanted within the day by day operating of a telecom community. OSS software program can be chargeable for issuing instructions to the community infrastructure to turn on new carrier choices, start companies for brand spanking new consumers, and discover and proper community faults.

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

Sample text

Ack)[*] ; ack})) Fig. 3a is not in the simple subset. 3c are in the simple subset, but are difficult to read. These properties can be expressed more easily using suffix implication. 38 Chapter 5. SERE Style left-hand side finishes”, while the non-overlapping suffix implication operator (|=>) interprets it as “the cycle after the cycle in which the left-hand side finishes”. 3c. 4b are easier to grasp than the equivalent property without suffix implication, and both belong to the simple subset, discussed in Chapter 9.

Gnt)(high pri ack)); Fig. 4: Weak vs. (b)[i:j] operators. [i:j] operator holds if there are at least j additional cycles, and its operand holds on all of the ith through j th of them, inclusive. (b)[i:j] operator holds if there are at least j additional cycles on which b holds, and the second operand holds on all of the ith through j th of them, inclusive. [i:j] operator creates a property that holds if its operand holds on at least one of the ith through j th next cycles, inclusive. There do not have to be j cycles if the operand holds on some cycle between the ith and the j th , inclusive.

Suffix implication (|-> and |=>) 39 tion operators (|-> and |=>) can be understood the same way. The difference between the logical implication operator (->) and the suffix implication operators (|-> and |=>) is in the timing relationship between the if- and the then-parts. While the current cycle of the then-part of a logical implication operator (->) is the same as the current cycle of its if-part, the current cycle of the then-part of a suffix implication operator (|-> or |=>) is the first cycle of the suffix of the trace that remains once the if-part has been seen.

Download PDF sample

Rated 4.66 of 5 – based on 12 votes