Я начал заниматься функциональной верификацией на системном уровне с помощью SystemC Verification Library (SCV) (верификация, основанная на транзакциях) и в связи с этим у меня возникли следующие вопросы:
1) Существуют ли методики верификации на системном уровне:
- процессоров
- памяти
- шин
и других функциональных блоков, которые могут входить в состав СнК, а также методики верификации СнК целиком
2) Существуют ли готовые testbench?
(я знаю, что существуют Verification IP для верификации существующих устройств (PCI, USB, AMBA и т.д.), но что делать в случае разработки своего устройства: писать testbench с нуля или есть некие шаблоны?)
3) Достаточто ли для эффективной верификации библиотеки SCV и компилятора (например, MSVC) или необходимо применение специализированных программных средств (например, Cadence Incisive Unified
Simulator)?
Буду признателен за любую помощь.