[an error occurred while processing this directive]
Эти две проверки до Timing. Sorry. Можно конечно и ModelSim попробовать, сам работаю с Aldec и он меня не подводил. Там ещё и XILINX Timing Analyzer есть.
(«Телесистемы»: «Конференция «Программируемые логические схемы и их применение»»)