projects / yosys.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
verific: Improve logic generated for SVA value change expressions
[yosys.git] / tests / sva / sva_value_change_sim.ys
1 read -sv sva_value_change_sim.sv
2 hierarchy -top top
3 sim -clock clk -fst sva_value_change_sim.fst