savour
Newbie level 6
I am looking for Info/Scripts to assist me in using the formality for RTL vs. Post-Synthesis equivalence checking.
I found some info at **broken link removed** but it is incomplete.
A working example would be very helpful.
Many thanks
I found some info at **broken link removed** but it is incomplete.
A working example would be very helpful.
Many thanks