Povej prijatelju o tem izdelku:
Creating Assertion-Based IP - Integrated Circuits and Systems Harry D. Foster 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, 1, black & white illustrations
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 26. novembra 2007 |
| ISBN13 | 9780387366418 |
| Založniki | Springer-Verlag New York Inc. |
| Strani | 318 |
| Dimenzije | 155 × 235 × 19 mm · 684 g |
| Jezik | Angleščina |