3 ms·Yosys supports very basic SVA (immediate assert/assume, $past etc) in addition to Verilog 2005by wren6991 2y agoYosys supports very basic SVA (immediate assert/assume, $past etc) in addition to Verilog 2005