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

Die Verwaltung der ffentlichen Arbeiten in Preuen 1900 bis 1910

$59.99

Caledonian Structures in Britain

$219.99

The Archaeology of Plural and Changing Identities

$109.99

Global Challenges in Maritime Security

$139.99

SAT 2005

$169.99

Werkstoffe der Elektrotechnik

$44.99

Autonomy in the Law

$109.99

Emerging Organic Contaminants and Human Health

$329.99

Introduction to Scientific Programming with Python

$37.99

Epoxydverbindungen und Epoxydharze

$59.99

Grundlagen der Unternehmensfhrung

$29.99

Artificial Intelligence in Music, Sound, Art and Design

$139.99

Translation in Diasporic Literatures

$59.99

Innovative Treatment Strategies for Clinical Electrophysiology

$119.99

Palliative Atemtherapie

$17.99

Copper Empire

$109.99

Post-Traumatic Public Theology

$199.99

Mustererkennung 1984

$59.99

Black Holes, Gravitational Radiation and the Universe

$219.99

Basic Protein and Peptide Protocols

$129.00

Geo-Spatiality in Asian and Oceanic Literature and Culture

$139.99

The Chinese Sisters of the Precious Blood and the Evolution of the Catholic Church

$84.99

Advanced Battery Management System for Electric Vehicles

$109.99

Titanic

$6.71

Multimedia Information Systems

$84.99

Forschung und Entwicklung fr die Telekommunikation Internationaler Vergleich mit zehn Lndern

$69.99

Integrated Design and Manufacturing in Mechanical Engineering

$219.99

Transductions and Context-Free Languages

$44.99

Crop Modeling and Decision Support

$309.00

Kompetenz und/oder Zustndigkeit

$79.95

Markterfolg im Mobile Commerce

$79.99

Crafting Your Research Future

$24.99

Light Pollution as a New Risk Factor for Human Breast and Prostate Cancers

$169.99

Immigrant Teachers, American Students

$54.99

Agent-Based Manufacturing

$169.99

Methodological Reflections on Researching Communication and Social Change

$79.99

Learning to Read: An Integrated View from Research and Practice

$219.99

Mathematik fr Informatiker I

$59.99

Statistical Theories and Computational Approaches to Turbulence

$84.99

Head Injuries

$109.99