[an error occurred while processing this directive]
|
мои знания начинаются и кончаются на том, что в системс есть библиотека TLM (Transaction Level Modeling) -> книги по systemc могут Вам помочь. A вообще базовой книгой по верификации я считаю J.Bergeron "Writing testbenches: Functional verification of hdl models" - я выкладывал второе издание на электрониксе.
А Вы не перепутали с assertion-based?
E-mail: info@telesys.ru