
Tell your friends about this item:
Creating Assertion-Based IP - Integrated Circuits and Systems 2008 edition
Harry D. Foster
Creating Assertion-Based IP - Integrated Circuits and Systems 2008 edition
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, 1, black & white illustrations
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | November 26, 2007 |
ISBN13 | 9780387366418 |
Publishers | Springer-Verlag New York Inc. |
Pages | 318 |
Dimensions | 155 × 235 × 19 mm · 684 g |
Language | English |
Show all
More by Harry D. Foster
See all of Harry D. Foster ( e.g. Paperback Book and Hardcover Book )