Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

A Practical Introduction to PSL

A Practical Introduction to PSL

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780387361239
Condition
New
Product Description

Functional veri?cation is hard. Period. No disagreement here. But why is this so? Consider todays design ?ow: much of it is more or less automated, from RTL to netlist to layout to silicon. But all this automation depends upon having correct RTL input to start with, and there is little or no automation to help with RTL creation. It is hard enough for a designer to decide what RTL model he wants to build, and then to describe that RTL model correctly in a hardware description language. It is even more di?cult for a veri?cation engineer, who cant read the designers mind, to verify that what the designer created not only represents the RTL model he had conceived, but also that the RTL model is an appropriate one for the problem at hand. What makes RTL modeling and veri?cation di?cult is concurrency. It is easy to teach an engineer how to write procedural code that conforms to the synthesizable subset of a hardware description language. What is hard is understanding how the engineers procedural code interacts with other c- ponents in the design over time. In fact, until recently we lacked e?ective languages to describe concurrent behaviors. The IEEE 1850 Property Speci?cation Language (PSL) is a language for the formal speci?cation of concurrent systems. The language is particularly applicable for writing assertions about hardware designs. PSL supports m- tiple veri?cation paradigms including formal analysis, simulation, and acc- eration/emulation.

Available Colors
Available Sizes
1 Offer Price Range: $129.00 - $129.00
BEST PRICE

Single Product Purchase

$129.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$129.00 $129.00

$129.00
See Site In stock Visit Store

Similar Products

Fundamentals of Computation Theory

$84.99

(In)Visible Presence: Feminist Counter-narratives of Young Adult Literature by Women of Color

$49.99

Climbing and Walking Robots

$329.99

Measure-Theoretic Probability

$39.99

Die Arten der Schlaganflle des Gehirns und ihre Entstehung

$69.99

Exploring Advanced Features in C#

$44.99

Beautiful Boys/Outlaw Bodies

$54.99

The Reenchantment of Nineteenth-Century Fiction

$54.99

IDEE Programm Projekt

$54.99

Linear Algebra

$44.99

The Boletes of China: Tylopilus s.l

$169.99

Illustration Studio: Inking Florals

$18.75

Konnektivitt, Netzwerk und Fluss

$39.99

The Role of the Prime Minister in France, 1981-91

$109.99

Business Continuity Management

$39.99

Existence: Semantics and Syntax

$179.99

Implantable Medical Electronics

$169.99

Islamic Finance

$109.00

Events Erlebnismarketing fr alle Sinne

$59.99

Statistical Methods for the Assessment of Point Source Pollution

$109.99

Transporters and Pumps in Plant Signaling

$129.00

Charlotte and Emily Bront

$109.99

Medienentwicklung und gesellschaftlicher Wandel

$49.99

Transformation im lndlichen Raum

$69.99

Diskrete Mathematik fr Einsteiger

$29.99

Modeling Income Distributions and Lorenz Curves

$169.99

Proceedings of the First Lunar International Laboratory (LIL) Symposium Research in Geosciences and

$39.99

Blistering Diseases

$249.99

Modernist Writings and Religio-scientific Discourse

$54.99

Russian Pluralism

$54.99

Eurasian Steppes. Ecological Problems and Livelihoods in a Changing World

$219.99

Theorie der Geometrischen Konstruktionen

$49.99

The Post-war Novel and the Death of the Author

$129.99

Long Distance Propagation of HF Radio Waves

$129.99

Netherlands Annual Review of Military Studies 2017

$64.99

Un da de nieve - Big Book Unit

$47.00

Zum 150. Todestag: Albrecht von Graefe (1828-1870)

$64.99

Agriculture and Climate Beyond 2015

$169.99

Post-Arab Spring Narratives

$129.99

Regieren

$69.99