![]() |
Book Search |

![]() |
News & Info |

![]() |
TOP 10 BOOKS |
|
Samarendra Das £16.95 |
|
Tom Leonard £9.00 |
|
Noam Chomsky £6.74 |
|
Richard Gott £18.75 |
|
Andy Wightman £7.49 |
|
Scottish Novels of the Second World War Isobel Murray £12.99 |
|
James Kelman £7.19 |
|
David Miller £24.99 |
|
Tom Leonard £11.99 |
|
Janice Galloway £11.04 |

Assertion-Based Design
You are here: Computing & Internet > General Theory Of Computi...
|
Assertion-Based Design
Online resource ISBN: 9781402080289
Availability: We are unable to supply this item.
Our Price: £123.00RRP £123.00
, Save £0.00
0 customer(s) reviewed this product |
- Description
- Reviews
- Book Details
The focus of Assertion-Based Design, Second Edition is three-fold: 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:
| ISBN | 140208028 |
| ISBN13 | 9781402080289 |
| Publisher | Kluwer Academic Publishers |
| Format | Online resource |
| Publication date | 01/06/2004 |
| Pages | 390 pp |
| Weight (grammes) | 270.00 |
| Published in | Netherlands |
| Height (mm) | |
| Width (mm) |






