моделирование глобального сброса на верилоге для Xilinx, glbl.v подкомпилен, но не вижу сброса Опции

[yes]

то есть, возможно, к этим glbl.GSR надо чего-то еще делать?

то есть предполагаю, что ISE расставит INIT-ы в соответствии с
reg a=0;
reg b=1'b1; и т.д.

внутри always-ов отработку сброса не вставляю (не хочется тратить ресурсы на трассировку цепи сброса, как рекомендует ксайлинкс) - мне хватит сброса после загрузки

понятно, что при поведенческом моделировании этот glbl.v ни на что не влияет

но при моделированиии post-P&R почему-то нифига в резете триггеры не удерживаются - этот glbl.GSR в 1 (weak) (100ns) - а триггера работают

это фича или бага?