Tell your friends about this item:
Creating Assertion-Based IP - Integrated Circuits and Systems Harry D. Foster Softcover reprint of hardcover 1st ed. 2008 edition
Creating Assertion-Based IP - Integrated Circuits and Systems
Harry D. Foster
It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use of assertions languages beyond the traditional language construct discussionsNote that there many books published on assertion languages (such as SystemVerilog assertions and PSL).
318 pages, black & white illustrations
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | November 19, 2010 |
| ISBN13 | 9781441942180 |
| Publishers | Springer-Verlag New York Inc. |
| Pages | 318 |
| Dimensions | 155 × 235 × 17 mm · 471 g |
| Language | English |
More by Harry D. Foster
Show allSee all of Harry D. Foster ( e.g. Hardcover Book and Paperback Book )