Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 26 de noviembre de 2007 |
| ISBN13 | 9780387366418 |
| Editores | Springer-Verlag New York Inc. |
| Páginas | 318 |
| Dimensiones | 155 × 235 × 19 mm · 684 g |
| Lengua | Inglés |
Mas por Harry D. Foster
Mostrar todoMere med samme udgiver
Ver todo de Harry D. Foster ( Ej. Hardcover Book y Paperback Book )