Code: 01418019

Assertion-Based Design

Name: Assertion-Based Design
Brand: Springer, Berlin
SKU: 01418019
Price: 97.99 EUR
Availability: InStock
Author: Harry D. Foster
ISBN: 9781402074981

by Harry D. Foster, Adam C. Krolnik, David J. Lacey

Language: English
Binding: Hardback
Number of pages: 363
Publisher: Springer, Berlin, 2003
More about this

97.99 €

RRP: 98 €

You save 0.01 €

In stock at our supplier
Shipping in 10 - 18 days

Add to wishlist

Flower Recipe Book
27.17 € -12 %
Buy
Špalda a ječmen ve zdravé kuchyni
3.83 € -28 %
Buy
Fallout: The Official Pop-Up Advent Calendar
28.58 € -24 %
Buy
ÚVAHY O ŽIVOTĚ II-POVÍDÁNÍ S JANEM
12.32 € -12 %
Buy
Marque-pages Chefs d'oeuvre NED
10.50 €
Buy
Downton Abbey
25.25 € -14 %
Buy
Gra Czarne historie Średniowiecze
9.89 € -5 %
Buy
Oxford Reading Tree TreeTops Fiction: Level 10: Pack of 6
67.68 €
Buy
Nat Geo Wild Animal Atlas
34.75 €
Buy
Die Ostprovinzen Des Alten Polenreichs (Lithauen U. Weissruthenien, Die Landschaft Chem - Ostgalizien - Die Ukraina)
34.54 € -2 %
Buy
3D Integration for NoC-based SoC Architectures
110.62 € -9 %
Buy
Geometric Algebra with Applications in Engineering
92.64 € -7 %
Buy
College Textbook Costs
87.99 € -9 %
Buy
Experiencing the Presence of God: A 50 Week Daily Devotional Guide to Change Your Life Forever
23.43 € -7 %
Buy
Allison's Pocket Posh Journal, Chevron
7.26 € -24 %
Buy
I live in a house with a cat and a mouse and a mom and a dad and my sisters
9.69 € -7 %
Buy
Modeling Carbon and Nitrogen Dynamics for Soil Management
95.57 €
Buy
Das Abenteuer der Inspiration
22.32 € -11 %
Buy
Fire on the Hearth in Sleepy Hollow
29.19 € -1 %
Buy
The Mis-Education of the Negro
6.96 € -6 %
Buy
Tschüss-Langeweile-Karten: Spiele für die Flugreise
8.98 € -11 %
Buy
Dynamics of Tethered Space Systems
106.48 €
Buy
Mexiko - zehn Jahre in der NAFTA
42.73 € -11 %
Buy
Spirit of the Lion
18.38 €
Buy
Jordan von Giano und Thomas von Eccleston - ein Vergleich zweier Chronisten und Minderbruder des Franziskanerordens
38.28 € -11 %
Buy
Simon Petrus
13.53 € -10 %
Buy
Les Auteurs Latins Expliques d'Apres Une Methode Nouvelle Par Deux Traductions Francaises
16.56 €
Buy
Managing Workplace Conflicts: A Practical Guide
9.79 € -6 %
Buy
Requiem of Annie Ducayne
9.08 € -7 %
Buy
Erring
31.92 €
Buy
Aventuras de Pickwick
31.71 € -9 %
Buy
Oil Crops
205.49 € -7 %
Buy
Generalized Optomechanics And Its Applications: Quantum Optical Properties Of Generalized Optomechanical System
98.60 €
Buy
God, Church, and Flag
51.01 €
Buy
Business of Corporate Learning
73.24 €
Buy
Polyphonic Federalism
69.70 €
Pre-order
Dynamical Problems of Rigid-Elastic Systems and Structures
102.84 € -7 %
Buy
Witnessing the Revolutionary and Napoleonic Wars in German Central Europe
55.76 €
Buy
MADRID, UN PASEO POR SU HISTORIA
32.72 €
Pre-order
Mind All My Own
7.97 € -2 %
Buy
Hellas Forever
14.34 € -10 %
Buy
Holdhídon
22.22 € -14 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 237 loyalty points

Book synopsis

The focus of Assertion-Based Design is three-fold: How to specify assertions; How to create and adopt a methodology that supports assertion-based design (predominately for RTL design); What to do with the assertions and methodology once you have them. §To support these three over-arching goals, the authors showcase multiple forms of assertion specification: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera SystemVerilog. §The recommendations and claims the authors make in this book are based on their combined actual experiences in applying an assertion-based methodology to real design and verification as well as their work in developing industry assertion standards.