[Gate 0]

Нашел на аваксе. М.б. будет интересна:

Creating Assertion-Based IP (Series on Integrated Circuits and Systems)

Springer; 1 edition | ISBN: 0387366415 | 312 pages | November 16, 2007

 

Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the assertion-based IP alerts other verification components within a simulation environment, which are responsible for taking appropriate action. The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which easily integrates with the users existing verification environment, in other words the testbench infrastructure.

 

The guiding principles promoted in this book when creating an assertion-based IP monitor are:

modularityassertion-based IP should have a clear separation between detection and action

clarityassertion-based IP should be written initially focusing on capturing intent (versus optimizations)

 

A unique feature of this book is the fully worked out, detailed examples. The concepts presented in the book are drawn from the authors experience developing assertion-based IP, as well as general assertion-based techniques. Creating Assertion-Based IP is an important resource for design and verification engineers.

Foster_Krolnik_Creating_Assertion_Based_IP.pdf

[CaPpuCcino 0]

Очень интересна. Огромное спасибо!

(хочу отметить, что это не первая книга данного авторского коллектива на эту тему; предыдущая -"Asserton-Based Design" Х.Фостер Ф.Крольник 2004)

[VitalyM4 0]

Очень интересна. Огромное спасибо!

(хочу отметить, что это не первая книга данного авторского коллектива на эту тему; предыдущая -"Asserton-Based Design" Х.Фостер Ф.Крольник 2004)

Поддерживаю, огромное спасибо! :a14:

[CaPpuCcino 0]

положил в раздел закачки в подраздел "Книги" и далее папка Рrореrty_Lаnguages