Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Assertion-Based Design

Name: Assertion-Based Design
Brand: Springer-Verlag New York Inc.
SKU: 01418228
Price: 154.64 EUR
Availability: InStock
Author: Harry D. Foster
ISBN: 9781402080272

Harry D. Foster

Adam C. Krolnik

David J. Lacey

Language

English

Book Hardback

Libristo code: 01418228

Publishers Springer-Verlag New York Inc., May 2004

The focus of Assertion-Based Design, Second Edition is three-fold: §-How to specify assertions, §-Ho... Full description

Libristo code: 01418228

373 b

154.64 €

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Medium Hot Sabine Schulz

Paperback

20.87 €

inspector calls John B. Priestley

Paperback

11.34 €

AGATHA RAISIN Y LA QUICHE LETAL (AGATHA RAISIN 1) BEATON

Paperback

13.06 €

Nationalpark Vorpommersche Boddenlandschaft Jürgen Reich

Hardback

14.99 €

°C - Celsius Marc Elsberg

Paperback

12.66 €

Fotografien 1919-1953 Willy Ruge

Hardback

36.17 €

Bucles De Extincion Jose Miguel Esteban

Adobe ePub DRM

4.65 €

Asterix - Asterix bei den Belgiern Albert Uderzo

Hardback

11.95 €

Als die Schornsteine rauchten Sabine Knopf

Hardback

25.33 €

Familienrecht, Teil 1 Erwin Riezler

Hardback

203.80 €

Die Selbstkostenberechnung Im Fabrikbetriebe O. Laschinski

Paperback

53.20 €

PRISLUGA STOCKETT

Paperback

12.46 €

Wanderkarte 1:25 000 Wertheim LGL

Map

10.43 €

Cómo robar un banco suizo ANDREA FAZIOLI

Audio CD

23.20 €

C'Era Una VOLTA: Fiabe (1885) Luigi Capuana

Hardback

42.15 €

Vom Reiche der sechs Punkte- Hugo Rütters

DVD

26.44 €

Deutschzeit - Baden-Württemberg - Band 2: 6. Schuljahr Julia Bobsin

Hardback

34.55 €

Zmierzch Dazai Osamu

Paperback

9.01 €

The focus of Assertion-Based Design, Second Edition 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, we showcase multiple forms of assertion specifications: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera System Verilog. §The recommendations and claims we make in this book are based on our combined actual experiences in applying an assertion-based methodology to real design and verification as well as our work in developing industry assertion standards. §Differences between the first edition and the second edition include: §-Updates to the manuscript based on newer versions of standards, §-Corrections to errata identified during reviewer feedback, §-New material that presents techniques on how to avoid common ambiguity errors, §-New material that discusses high-level requirements modeling for specification.