A Practical Introduction to PSL

A Practical Introduction to PSL
sku: COM9780387353135NEW
$43.09
Shipping from: Canada
   Description
This book describes the Property Specification Language PSL, recently standardized as IEEE Standard 1850-2005. PSL was developed to fulfill the following requirements: easy to learn, write, and read; concise syntax; rigorously well-defined formal semantics; expressive power, permitting the specification for a large class of real world design properties; known efficient underlying algorithms in simulation, as well as formal verification. Basic features are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs. A full chapter is devoted to common errors, gathered through the authors' many years of experience in using and teaching the language.
   Price history chart & currency exchange rate

Customers also viewed

in this storein other stores

The Spanish-Speaking World: A Practical Introduction to Sociolinguistic Issues (Routledge Language in Society)
83%
$36.34
The Spanish-Speaking World: A Practical Introduction to Sociolinguistic Issues (Routledge Language in Society)
Introduction To Health Research Methods: A Practical Guide
80%
$31.49
Introduction To Health Research Methods: A Practical Guide
A Practical Introduction to Phigs and Phigs Plus
79%
$54.59
A Practical Introduction to Phigs and Phigs Plus
Genome Science: A Practical and Conceptual Introduction to Molecular Genetic Analysis in Eukaryotes
76%
$31.68
Genome Science: A Practical and Conceptual Introduction to Molecular Genetic Analysis in Eukaryotes
A Practical Introduction to Homeland Security and Emergency Management: From Home to Abroad
74%
$70.93
A Practical Introduction to Homeland Security and Emergency Management: From Home to Abroad
Electronics for Beginners: A Practical Introduction to Schematics, Circuits, and Microcontrollers
72%
$35.54
Electronics for Beginners: A Practical Introduction to Schematics, Circuits, and Microcontrollers
Introduction to People Analytics: A Practical Guide to Data-driven HR
71%
$31.66
Introduction to People Analytics: A Practical Guide to Data-driven HR
A Practical Introduction to Videohistory: The Smithsonian Institution and Alfred P. Sloan Foundation Experiment (Public History)
67%
$16.01
A Practical Introduction to Videohistory: The Smithsonian Institution and Alfred P. Sloan Foundation Experiment (Public History)
A Practical Introduction to Electronic Circuits
65%
$63.22
A Practical Introduction to Electronic Circuits
Objects First with Java: A Practical Introduction Using BlueJ
47%
$70.15
Objects First with Java: A Practical Introduction Using BlueJ
Java Web Services: Up and Running: A Quick, Practical, and Thorough Introduction
43%
$19.43
Java Web Services: Up and Running: A Quick, Practical, and Thorough Introduction
Wills' Mineral Processing Technology: An Introduction to the Practical Aspects of Ore Treatment and Mineral Recovery
40%
$85.37
Wills' Mineral Processing Technology: An Introduction to the Practical Aspects of Ore Treatment and Mineral Recovery
Critical Reasoning in Ethics: A Practical Introduction
37%
$38.26
Critical Reasoning in Ethics: A Practical Introduction
An Introduction to Research in Counselling and Psychotherapy (Practical Skills for Counselors)
35%
$29.59
An Introduction to Research in Counselling and Psychotherapy (Practical Skills for Counselors)
Introduction to Practical Linear Programming
33%
$77.54
Introduction to Practical Linear Programming
Employee Relations: A Practical Introduction (HR Fundamentals, 14)
32%
$21.64
Employee Relations: A Practical Introduction (HR Fundamentals, 14)
Starlight: An Introduction to Stellar Physics for Amateurs (The Patrick Moore Practical Astronomy Series)
30%
$24.37
Starlight: An Introduction to Stellar Physics for Amateurs (The Patrick Moore Practical Astronomy Series)
Metaphor: A Practical Introduction
27%
$19.93
Metaphor: A Practical Introduction
Teaching Adult English Language Learners : A Practical Introduction
24%
$43.91
Teaching Adult English Language Learners : A Practical Introduction
Loose Leaf for Management: A Practical Introduction
23%
$99.99
Loose Leaf for Management: A Practical Introduction
Practical Mathematical Optimization: An Introduction to Basic Optimization Theory and Classical and New Gradient-Based Algorithms (Volume 97)
21%
$69.96
Practical Mathematical Optimization: An Introduction to Basic Optimization Theory and Classical and New Gradient-Based Algorithms (Volume 97)
Sports Journalism : A Practical Introduction
19%
$38.81
Sports Journalism : A Practical Introduction
Introduction to Design Education : Theory, Research, and Practical Applications for Educators
17%
$42.06
Introduction to Design Education : Theory, Research, and Practical Applications for Educators
Management: A Practical Introduction
14%
$66.15
Management: A Practical Introduction
Agent-Based and Individual-Based Modeling: A Practical Introduction, Second Edition
13%
$30.17
Agent-Based and Individual-Based Modeling: A Practical Introduction, Second Edition
Practical Programming: An Introduction to Computer Science Using Python 3.6
11%
$30.94
Practical Programming: An Introduction to Computer Science Using Python 3.6
Phonetics: A Practical Introduction
10%
$27.12
Phonetics: A Practical Introduction
An Introduction to Research, Analysis, and Writing: Practical Skills for Social Science Students [first edition]
8%
$60.19
An Introduction to Research, Analysis, and Writing: Practical Skills for Social Science Students [first edition]
The Lebesgue-Stieltjes Integral: A Practical Introduction (Undergraduate Texts in Mathematics)
5%
$74.80
The Lebesgue-Stieltjes Integral: A Practical Introduction (Undergraduate Texts in Mathematics)
The Basque Language: A Practical Introduction (Paperback or Softback)
3%
$29.56
The Basque Language: A Practical Introduction (Paperback or Softback)
Автомобильное беспроводное зарядное устройство Qi, 15 Вт, для Bmw 3 4 Series F30 F31 F32 F33 F34 F35 F36
1%
$65.10
Автомобильное беспроводное зарядное устройство Qi, 15 Вт, для Bmw 3 4 Series F30 F31 F32 F33 F34 F35 F36
Рюкзак Nikidom Dakar ZIPPER (NKD-9501
-5%
1%
~ $47.30
Рюкзак Nikidom Dakar ZIPPER (NKD-9501
Блесна Atom At.22N-14
1%
~ $1.73
Блесна Atom At.22N-14
Новое поступление Стильная осенне-зимняя теплая женская вязаная крючком Шерстяная Вязаная Шапка Лыжная Шапка мешковатая однотонная шапка
1%
$4.36
Новое поступление Стильная осенне-зимняя теплая женская вязаная крючком Шерстяная Вязаная Шапка Лыжная Шапка мешковатая однотонная шапка
Бытовая практичная креативная пластиковая простая фотография
1%
$58.61
Бытовая практичная креативная пластиковая простая фотография
Винт МЕТИЗНЫЙ ДВОР, 3x8 DIN7985 (50 шт.)
1%
~ $0.53
Винт МЕТИЗНЫЙ ДВОР, 3x8 DIN7985 (50 шт.)