Почему «назначить a = a/2» (внутри задачи) вызывает изменение только одного значения?

Сегодня я столкнулся с очень необычным фрагментом тестового кода, и все были в недоумении, почему он работает именно так. Упрощенная версия будет выглядеть примерно так (обратите внимание, что тест написан внутри task):

task TEST();
    logic [9:0] a;

    assign a = 10'd512;
    #10ns;
    assign a = a/2;
    #100ns;

endtask

Мои вопросы:

1. Ожидалось, что a будет продолжать делиться на 2 каждую единицу дельты времени, пока его значение не достигнет 0. Но вместо этого при моделировании (с использованием Xcelium) оно делится только один раз, и конечный результат равен a = 256. Почему это? Коллега подтвердил с помощью небольшого теста, что assign работает нормально в задаче, если RHS не содержит переменную LHS. Поэтому я предполагаю, что это как-то связано с тем, что по сути это блок Always@(...), где единственной переменной в списке чувствительности является также переменная LHS, но я нигде не могу найти описание того, что происходит в этом конкретном случае. .

2. Я был озадачен тем, почему код компилируется успешно и даже без каких-либо предупреждений, имея 2 оператора assign для одной и той же переменной. В поисках ответа я обнаружил, что в разделе 10.6.1 версии LRM 1800-2017 говорится:

Если ключевое слово Assign применяется к переменной, для которой уже существует процедурное непрерывное присваивание, то это новое процедурное непрерывное присвоение должно отменить назначение переменной перед выполнением нового процедурного непрерывного присвоения.

И теперь я еще больше запутался: почему LRM говорит это, если наличие двух операторов assign для одной и той же переменной обычно приводит к ошибкам компиляции (несколько драйверов) в модуле вместо сохранения последнего оператора assign и игнорирования остальных?