I had run a formality test in my design. It has too many unverified points and also had some failing points. I look at my "check_design" report, it has no errors but there were a lot warnings. I attached the screenshot of my results both in formality and synthesis report. How can I eliminate these errors?
Can you capture your logs as text instead of screenshot images? Then place in formatted windows by creating code tags. (Include your netlist.) A reader might test your netlist in his own computer.