search

zachjs / sv2v

SystemVerilog to Verilog conversion
BSD 3-Clause "New" or "Revised" License
540 stars 52 forks source link

Judgmental Equivalence #210

Closed hello-eternity closed 2 years ago

hello-eternity commented 2 years ago

Is there any way to judge whether the converted verilog file is equivalent to the previous system Verilog file？

zachjs commented 2 years ago

This would require some form of logical equivalence checking or formal verification. Others have used commercial tools. You can see a (potentially outdated) example at https://github.com/lowRISC/ibex/blob/ea4e938/syn/lec_sv2v.sh.

hello-eternity commented 2 years ago

Thank you.