Formality Verification Failed: RTL vs netlist

Status
Not open for further replies.

Johannah

Newbie level 6
Joined
Apr 11, 2017
Messages
11
Helped
0
Reputation
0
Reaction score
0
Trophy points
1
Activity points
102
Hello everyone,

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?
 

Attachments

  • rpt3.PNG
    132.1 KB · Views: 161
  • rpt2.PNG
    9 KB · Views: 153
  • rpt1.PNG
    24.6 KB · Views: 153

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.
 

Status
Not open for further replies.
Cookies are required to use this site. You must accept them to continue using the site. Learn more…