The Art of Verification with SystemVerilog Assertions

Автор: Faisal I. Haque, Jonathan Michelson, Khizar A. Khan

Коментари: 0

Издател Verification-Central
Брой страници 664
Година на издаване 2006
Корици меки
Език английски
Тегло 1200 грама
Размери 22.5x18
ISBN 9780971199415
Баркод 9780971199415
Категории Хуманитарна литература на чужди езици, Хуманитарни науки, Книги

Хартиено издание

Наличност: НЕ
Доставка: не е в наличност

Стара цена: 312.00 лв.
Отстъпка: 15.00 %.

Цена: 265.20 лв.

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.

Все още няма мнения за тази книга.

Напиши коментар

Ще бъдат допускани само мнения свързани с конкретния продукт или автор.

Ще бъдат изтривани мнения:

  1. Съдържащи обидно или нецензурно съдържание
  2. Написани само с главни букви
  3. Написани на латиница
  4. Съдържащи препратки към други сайтове.

Други въпроси и мнения моля, изпращайте на service@helikon.bg