单元库质量验证方法之compare library

点击上面“蓝字”关注我们！

曾经看过一个帖子，有人问K库的痛点在哪里？部分回帖提到了lib的验证，怎么验证我们做出来的库。lib验证是单元库建库不可缺少的一环，关系到整个单元库的质量。

 

SiliconSmart提供了一套完善的单元库验证流程，主要包括三块内容：compare_library比较两套lib文件的差异；qualify_library验证lib文件的质量；HDL(Verilog)验证。

 

这篇推文着重介绍compare_library。

 

既然compare_library是单元库质量验证中的一个必要环节，那么什么时候需要用到？Compare library在re-characterization中应用最为广泛，用来验证我们re-char出来的lib跟reference lib相比，结构是否一致，有无attribute丢失，table数值是否有较大的差异等等。

 

Compare library的基本命令很简单：

 

compare_library -reference reference.lib -test test.lib

 

以上命令会比较test.lib与reference.lib的结构是否匹配，包括group，attributes，whens，但是这个命令不会比较table的数值。比较的结果会存放在当前工作目录下的compare_library文件夹下。可以使用-output_dir这个option来指定不同的存放路径。

 

那么如果需要比较table的数值呢？其实很简单，加一个-value的option就可以：

<