В общем список должен выглядеть так: - Документирование всех крайних случаев - Моделирование произвольных задержек на шинах, DMA - Моделирования всех произвольных но разрешенных комбинаций режимов - Всегда иметь в блоке какой-то внутренний watchdog - Code Coverage всегда - Проверка правил через Synosys Leda (sensitivity list, неправильные присваивания и тому подобное..) - Формальная верификация или netlist simulation (что более реальней)