Функциональная верификация на системном уровне, Существуют ли методики и готовые тесты? Опции

[phn]

Я начал заниматься функциональной верификацией на системном уровне с помощью SystemC Verification Library (SCV) (верификация, основанная на транзакциях) и в связи с этим у меня возникли следующие вопросы:

1) Существуют ли методики верификации на системном уровне:
- процессоров
- памяти
- шин
и других функциональных блоков, которые могут входить в состав СнК, а также методики верификации СнК целиком


2) Существуют ли готовые testbench?

(я знаю, что существуют Verification IP для верификации существующих устройств (PCI, USB, AMBA и т.д.), но что делать в случае разработки своего устройства: писать testbench с нуля или есть некие шаблоны?)


3) Достаточто ли для эффективной верификации библиотеки SCV и компилятора (например, MSVC) или необходимо применение специализированных программных средств (например, Cadence Incisive Unified
Simulator)?


Буду признателен за любую помощь.