Re: 请教一个synthesis和formalcheck的问题

以前formality就不能用于对没有mapping过的design进行对比，原因就是这些没有mapping过的操作符没有相应的库来描述它的功能，那些gtech功能描述的库只有DC吃，formality是不认的。以前是这样，不知道最近版本有没有支持

基本golden的formal tool都不会支持这样的对比，除非gtech做成标准库的形式

第一 gtech netlist不是这么生成的，需要把gtech.db设置成target_library,然后compile
第二 这个阶段的formal check,老的Formality支持，新的Formality官方号称不支持，但你可以试试看