formality基本词汇含义

刚学formality，有些基本词汇有点混乱，请各位大牛帮忙解释一下，谢谢！
compare point
matched point/unmatched point
failing point
equivalent point
cut point

咋没人回应?自己顶一下

compare point：比较的点，包括input output 各个寄存器
matched point/unmatched point ：匹配上的点/没匹配上的点（compare point匹配）
failing point：对比不同的点（match point对比）
equivalent point：对比相同的点（match point对比）
cut point这个没印象了。

cut point : 用来处理combinational loops的，指定loops的切断点。大概是这个样子的。