Hi , need to do a RTL to RTL - logical equivalence...
# openlaner
Ryan R
12/07/2022, 6:37 PMHi , need to do a RTL to RTL - logical equivalence checking - which open source tool is best to use ?? ( if it exists !) Thanks in advance
a
Anton Blanchard
12/08/2022, 11:44 PMI'm using yosys to do equivalence checking of generated standard cell adders and multipliers vs gold models, eg https://github.com/antonblanchard/vlsiffra/blob/main/formal/multiplier.tcl
👀 1
r
Ryan R
12/09/2022, 6:36 PMThanks , will check this out!
Ryan R
12/18/2022, 9:13 AM@Anton Blanchard - getting below final output - to confirm this mean the equivalence is succesful right ?
13. Executing EQUIV_STATUS pass.
Found 1 $equiv cells in equiv:
Of those cells 1 are proven and 0 are unproven.
Equivalence successfully proven!
2 Views