use Verilator backend, `timing` argument ``` picker export ... -sim verilator -V --timing ``` I use some delay assignments in my RTL code. such as `a <= #(10) b ` Didn't see any delay on waveform. Verilator version 5.024 supports timing features.