Порекомендуйте книги по верификации проектов FPGA, желательно на английском языке.
Также интересует, какое специализированное ПО используется для разработки и запуска тестов, помимо симуляторов Verilog/SV, и любые книги/сайты, посвящённые этому делу.
Интересует верификация сложных проектов, связанных с обработкой сигналов (возможно, изображений и видео).