请教conformal中unreachable point的排除问题

asp200 · 发表于 2012-10-1 18:29:47

very good data

skulker008 · 发表于 2014-4-11 10:35:33

同问，LEC太复杂，有没有快速上手的资料或者实验啊？

maoqiu · 发表于 2015-7-2 21:06:06

unreachable和EXTRA类型的unmap点，不会对Key point造成影响，对逻辑锥比对没有贡献。not mapped类型，则需要确认。否则通常会导致FAIL。

maoqiu · 发表于 2015-7-2 21:09:41

以前用formality时，有很多其他报告可以帮忙发现设计缺陷。比如not compare unmap，等等。刚开始用CONFORMAL有些不习惯，mapping report, nonequal,abort, 没了？

biblejj33 · 发表于 2018-11-8 02:22:27

有点复杂支持

站长推荐 /2