库单元及IP质量验证评估平台.PDFVIP

库单元及IP质量验证评估平台 Qualib 面临挑战 随着SoC设计越来越复杂，需要越来越多的使用到标准库单元，或者集成来自第三方提供的IP模 块。而一个标准的SOC设计流程通常包含综合，布局布线，时序收敛，物理验证等多个阶段。不同阶 段会涉及到多种不同类型库文件的使用。因此造成库文件数目庞大，种类繁多而且内容复杂，难以管理。 对于库文件的设计者如IP模块供应商，Foundry厂商, 需要确保他们所提供的库文件的质量能达到 用户使用标准，对不同类别的库单元或IP进行全面的彻底的质量检查，保证设计的正确性及一致性，确 保库单元或IP在集成之后能够正常工作。 对于库文件的使用方如SOC设计公司，为了预防库文件问题导致的Tape out 推迟，在设计初期 就需要预先检查并发现错误，减少不必要的迭代。在工艺切换时，还需要根据设计的要求从多方面对各 个库的性能指标进行评估，选择出最适合的工艺库，确保设计完成后性能能够达到预期。 传统的库文件质量检查往往是根据工程师个人的经验，编写内部定制化的脚本来完成的。首先由 于过于依赖工程师的经验，这些定制化的项目不能保证检查的全面性；其次，通常这类脚本检查的内容 只能针对某一类型的文本格式库文件，尤其对复杂物理图形处理上表现的差强人意， 在可维护性和结 果可读性上也比较差。因此越来越多的公司开始寻求更专业高效的解决方案。 Qualib作为一个多种类型库文件质量验证评估平台，提供更标准化高效的QA流程和更全面实用 的检查项目，帮助用户从多个方面检查库文件的质量和评估性能。图形化界面使用简单，结构清晰，通 过与layout, timing曲线，文本文件实时交互快速的定位问题，并输出标准格式的报告。 支持的库文件格式 一套标准单元库可能会包含上千个单元，Qualib可以快速检查、方便管理众多数目的标准单元库。 并且支持不同格式的库单元格式，例如版图类 （LEF库，GDS库）、网表类 （Verilog库）、时序 Timing Lib库、仿真CDL库等。 下面列表给出了Qualib支持的库文件格式类型： • LEF LEF • GDS • Timing Lib • Verilog CDL GDS • CDL Qualib • ATPG • MBIST • LVLIB Timing Verilog • MASIS Figure 1. Qualib支持的库文件格式 WhitePaper 库单元及IP质量验证评估平台 质量验证 Qualib工具可以提供库单元及IP模块的检查及比较，其全面的检查项目，灵活的流程控制，能快 速检查并发现问题，并且通过图形用户界面将结果准确、清晰地呈现给用户。 Check检查 针对每一种类型的库文件，Qualib会按照设计规则要求对库进行正确性检查,同时还会考虑单元集 成之后是否有影响设计质量的情况出现。如下图所示，该单元 M2的默认绕线方向上有大量track被 block住，如果大批量使用此cell ，容易造成严重的routing congestion. + VDD M1 Horizontal M2 Vertical + B + A +S + CO