[an error occurred while processing this directive]
Мануал по моделсиму или квесте. Если вы пользуетесь продуктами Cadence или Synopsys, то уверен, там тоже есть доки. Еще на www.avaxhome.ru и форуме электроникса народ выкладывает книги по verilog/vhdl/verification. Также рулит www.edaboard.com и verificationguild.com
(«Телесистемы»: Конференция «Программируемые логические схемы и их применение»)