在formality 中的match step 有以下一些内容:
1.match command 是可选择的,verify command 也会运行matching ,从脚本中省略match command ,可以降低run time。
2.Name matching algorithms are used first,与conformal LEC 不同的是,comformal LEC 可以设置match 的rule ,可以选择name only or function (run time 较长)或者是二者同时。
3.Remaining unmatched points matched by signature analysis
4.Any remaining unmatched points are then reported
5.Use of the SVF flow improves name matching performance and completion
6.在match 前也可以设置一些可以预见的rules,使用set_compare_rule