Требуется ли примитиву всегда блок?
Нет! Точно так же, как операторы «assign», им не нужен раздел всегда.
На самом деле, если бы вы попытались, вы бы получили синтаксическую ошибку, поскольку вы не можете создать экземпляр модуля или примитива в разделе всегда.
Также вам никогда не потребуется помещать вывод O1
в список чувствительности.