formality基本词汇含义

aflly · 发表于 2015-7-31 15:34:24

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

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

aflly · 发表于 2015-8-1 19:49:31

咋没人回应？自己顶一下

sendfast2008 · 发表于 2015-8-4 16:09:06

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

血溶伊剑 · 发表于 2016-1-21 17:01:15

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

[求助] formality基本词汇含义

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /1