IMPL9. Formal Match/Verify Points

1.FM的执行关键步骤

• env cfg
  • variable env
  • lib(rtl2rtl not necessary)
  • ref
  • imp
  • constraints
• match
• verify
• rpt

2.match point

a. DFF/Latch D pin;

b. HM(set Blackbox) input Pin;

c. output pin;

以上三点为逻辑锥的锥点，也就是match point；

3.verify

verify 表示对match 的point进行分析，从逻辑锥的输入灌入测试pattern，从而判断其逻辑是否具备一致性；逻辑锥的输入有input port和DFF/Latch Q pin以及HM output pin;