ywguo
Junior Member level 2
Hi,
I ran rtl vs. netlist formal verification using formality. It had never finished. It always stopped at status verifying. The design contains many multipliers and adders. I had even set some blocks as black box to reduce the complexity. It stopped at status verifying after more than 10 hours. It made me frustrated.
Any comments/advices are very appreciated.
Thanks
Yawei
I ran rtl vs. netlist formal verification using formality. It had never finished. It always stopped at status verifying. The design contains many multipliers and adders. I had even set some blocks as black box to reduce the complexity. It stopped at status verifying after more than 10 hours. It made me frustrated.
Any comments/advices are very appreciated.
Thanks
Yawei