[an error occurred while processing this directive]
Ну мы таких книжков не читали, мы только тестбенчи писали, из которых при помощи verilog-XL или модельсима тест-вектора в формате .VCD генерили, которые на фаб для верификации отсылали. (+)
(«Телесистемы»: Конференция «Программируемые логические схемы и их применение»)
А то, что Вы называете тестированием, а мы отладкой - так это вообще на программном уровне делали. Запихиваю в ПЛИСину, и программерам. Они (он) дрючат(ит) и ядро и периферию во все щели, и по их(его) просьбам я если надо вставляю какие-то тестовые связи внутрь RTL.