Open BoChen-Ye opened 1 month ago
The SystemVerilog specification requires that always_comb
blocks execute at time zero. sv2v uses _sv2v_0
to trigger the resulting always
blocks at time zero. A couple ideas:
always_comb
(Yosys does), then you can exclude the conversion of always_*
by passing --exclude always
to sv2v.grep -v _sv2v_0
the output of sv2v to filter out these statements.
This is very good progrom!
However, it will generate some code that I don't need in FSM file. For example,
I don't know why.