Порекомендуйте книги по верификации Опции

[petrov]

То есть на триггерах ее рисовать? Упаси боже, пусть лучше это делает синтезатор.

Редкость это, чтобы прям вручную на элементах и, или, не нужно было рисовать черезмерно много, и нельзя было использовать групповые операции над векторными сигналами. Даже в этом случае сделал бы сначала упрощенно, а потом оптимизировал на HDL только эту конкретную часть, чем разрабатывать всё на HDL и HDL симуляторах, которые вообще никак не помогают в решении задач ЦОС, а наоборот только мешают.