一种可延长静态时序分析仪精度的时序签核工具

德克萨斯州AUSTIN-IC表征提供商Silicon Metrics Corp.将推出基于SiliconSmart Models的产品线。该系列产品包括该公司为逻辑设计人员提供的首个产品 - 一种可延长静态时序分析仪精度的时序签核工具。

新产品线的一部分是生成开放式库API(OLA)的工具 - 兼容SiliconSmart模型。 Silicon Metrics声称这些模型使用的动态方法比现在的固定静态模型更准确。该公司还表示，其工具可以取代常用的标准延迟格式(SDF)反标注流程。

Cellrater，该公司的第一个工具，已更名为SiliconSmart CR。该产品有望对IC细胞库进行准确表征。新产品是生成模型的SiliconSmart OMC(开放模型编译器)和SiliconSmart TSO(定时签核)，它可以精确地提升定时分析器。

“静态，固定的模型是Silicon Metrics公司总裁兼首席执行官Callan Carpenter表示，目前该行业的标准格式已经失去了它的实用性。 “你今天真正需要的是更精确的表征，你必须将这种表征与算法相匹配。”

SiliconSmart模型提供了一个实例 - 特定操作点(ISOP)功能。 Carpenter说，这很重要，因为芯片两侧的两个NAND门可能会受到热梯度，IR压降或交叉耦合的影响。因此，供电电压可能会有所不同，但这只能通过逐个实例建模来显示。

精心设计

此外，SiliconSmart模型使用“选择性细化”方法在性能和准确性方面提供最佳平衡。给定模型可以包括用于设计过程前端的基于表格的表示，具有用于后端优化的电阻 - 电容延迟计算的非线性ISOP模型以及用于定时签核的自表征模型。最高精度是一个完整的三维现场解决方案。

为了获得SiliconSmart模型的优势，用户必须首先使用SiliconSmart OMC创建它们，据该公司称，它是第一个库编译器生成符合OLA的模型。 OLA是硅集成计划(Si2)支持的新兴行业标准。

OMC工具可以从SiliconSmart CR获取输入，但不需要它。进入OMC的其他途径包括Synopsys的Liberty格式，高级库格式和延迟计算语言。该工具输出OLA 1.1和IEEE 1481 API兼容模型。对于每个生成的模型，OMC都会生成一个自动验证测试套件。

SiliconSmart TSO使用SiliconSmart模型为现有的静态时序分析工具提供Carpenter所谓的“Turbo boost”。 TSO嵌入在工具中，并在特定路径上运行，用户认为值得仔细观察。如果需要，TSO可以选择适当的抽象级别或用户可以做出决定，一直到完整的3-D场解算器。不过，在运行时间与准确度之间存在权衡。

Carpenter表示，TSO可以通过允许反向注释逐个实例的特性来显着提高准确性。它还消除了对SDF反向注释的任何需求。据Carpenter称，TSO的输出“只是一组更好的有序路径”，其报告的格式与主机时序分析器相同。

目前，Silicon Metrics仅宣布支持Cadence的时序分析器。 Ambit Envisia综合套件。更重要的是支持Synopsys，它在时序分析和综合方面处于领先地位。 Carpenter说发布任何公告还为时过早，但他指出Synopsys是Silicon Metrics的投资者，两家公司已合作超过一年。