Formality Log : Click on the underlined links below to more know about them

1.
*********************************** Matching Results ***********************************
 4328 Compare points matched by name
 0 Compare points matched by signature analysis
 0 Compare points matched by topology
 876 Matched primary inputs, black-box outputs
 0(345) Unmatched reference(implementation) compare points
 0(0) Unmatched reference(implementation) primary inputs, black-box outputs
 7562(0) Unmatched reference(implementation) unread points
***********************************************************************************
 

2.
----------------------------------------------------------------------------------------
Matched Compare Points     BBPin    Loop   BBNet     Cut    Port     DFF     LAT   TOTAL
----------------------------------------------------------------------------------------
Passing (equivalent)           0       0       0       0     853      34       0     887
Failing (not equivalent)       0       0       0       0       2     198       0     200
Unverified                     0       0       0       0      79    4932       0    5011
Not Compared
  Don't verify                 0       0       0       0      64       0       0      64
****************************************************************************************

BACK[Some Example Commands]                              NEXT[Gotachas under construction]

HOME