The Art of Verification with SystemVerilog Assertions
Автор: Faisal I. Haque, Jonathan Michelson, Khizar A. Khan
| Издател | Verification Central |
| Брой страници | 664 |
| Година на издаване | 2006 |
| Корици | меки |
| Език | английски |
| Тегло | 1200 грама |
| Размери | 22.5x18 |
| ISBN | 9780971199415 |
| Баркод | 9780971199415 |
| Категории | Хуманитарна литература на чужди езици, Хуманитарни науки, Книги |
The Art of Verification with SystemVerilog Assertions (SVA) covers all aspects of SVA with numerous, detailed examples. The book demonstrates how SVA can be harnessed to implement effective, assertion-based verification.
It teaches the SVA language by explaining its usage in the context of practical verification issues. SVA syntax and features are explained in simple and easy-to-understand language. The usage of each construct is illustrated with both simple examples and examples drawn from common verification problems. SVA is used to develop an effective, assertion-based verification strategy for an OCP cache.
Все още няма мнения за тази книга.
Напиши коментарЩе бъдат допускани само мнения свързани с конкретния продукт или автор.
Ще бъдат изтривани мнения:
- Съдържащи обидно или нецензурно съдържание
- Написани само с главни букви
- Написани на латиница
- Съдържащи препратки към други сайтове.
Други въпроси и мнения моля, изпращайте на [email protected]
