formality验证问题

100flying

做verify时出现下面情况，该怎么解决啊
********************************* Verification Results *********************************
Verification FAILED
-------------------
Reference design: r:/WORK/calendar
Implementation design: i:/WORK/calendar
88 Passing compare points
6 Failing compare points
0 Aborted compare points
0 Unverified compare points
----------------------------------------------------------------------------------------
Matched Compare Points     BBPin    Loop   BBNet     Cut    Port     DFF     LAT   TOTAL
----------------------------------------------------------------------------------------
Passing (equivalent)           0       0       0       0      46      40       2      88
Failing (not equivalent)       0       0       0       0       0       6       0       6
****************************************************************************************
Info:  Try the analyze_points command to see if Formality can determine potential
causes, or suggest next steps for a FAILED or INCONCLUSIVE verification.
See the man page for analyze_points usage and options.
Info:  Formality Guide Files (SVF) can improve verification success by automating setup.
0