Enis Mustafa
Results
2
comments of
Enis Mustafa
The following script can be used to verify that the proposed changes are sequentially equivalent to the current implementation with Synopsys VC formal 's sequential equivalence check (`vcf -file script_below.tcl`):...
Hi @rgiunti, Thank you for the efforts! Concluding from the formal equivalence check and your testing, I also think we can merge.