Liberty 文件验证
Liberty Analyzer™ 可对时序、电源、噪声和面积等信息进行显示、分析、比较和验证。Liberty Analyzer可以对NLDM、NLPM、CCS、ECSM和LVF等多种模型在数据库、单元、引脚和单个时序等进行深入的数据统计。它通过显示和标识不同阈值所产生的相对和绝对差异来发现变化趋势和异常值，验证流程可以满足任何设计需求。
Silvaco Liberty Analyzer可读取任何工具或者特征化流程生成的单元库文件（.lib），评估不同单元库的性能。
主要功能和优势
- 从多个单元库中提取功能、时序、功率、噪声和面积数据，帮助确定每个库的最薄弱点
- 通过与参考库的比较，可以识别速度过慢或耗电过多的单元，从而可以分析哪些是最佳和最差的时序以及传输时间和负载的情况
- 有助于比较来自不同表征工具或不同Spice引擎的库，能够整合表征数据，快速分析表征结果
- 验证单元库文件以用于第三方设计流程，或作为综合工具和(S)STA工具的输入
- 验证逻辑关系的线性度和完整性，以及单元驱动强度的改变
- 根据表征结果识别电势迁移及最大电容和传输差异
- 方便地将CCS或ECSM库转换为NLDM格式，更容易进行比较和分析
- 比较在设定的目标sigma值下的LVF模式库文件中时序分布的差异性，同时支持LVF Moments
单元库比较
- 比较库文件，标准单元、管脚、arc之间的时序和功耗差别
- 可以准确的显示在不同模型下标准单元库在面积、时序、功率和噪声方面的绝对和相对差异
- 自动比较单元库的逻辑关系确保满足约束条件
- 合并并导出包含实验数据、简化单元集或使用不同特征化模型的单元库文件
- Viola可以通过对库文件进行选择、匹配、插值和规格化，以比较其测量类型、表格大小、索引范围、输入转换、输入刺激，以及与状态相关的最坏情况下的测量值
- 导出关键的指标，例如数据到输出延迟、全周期功耗、时序变化分布、亚稳态窗口和结果质量等
- 比较包括分析图和统计信息
- 比较分析图表和统计数据，可追溯到原始数据，识别出单元库文件中的异常值
突出显示库的差异
- 输出的数据会显示所有时序中各点之间的差异
- 生成可追溯到原始数据的偏差报告
- 比较NLDM、NLPM、CCS和ECSM，重点关注库之间的性能或相关性
- 突出显示与可配置阈值的差异，可以轻松识别单元的匹配度、完整性和性能的绝对差异和相对差异
层次化数据手册
- 可以使用任何HTML浏览器来查看层次化的HTML数据手册，能够清楚了解单元库的数据
- 主页界面友好，层次结构清晰，方便进入单元格页面、摘要页面、组页面和分析图等——所有这些都可以追溯到原始数据
二维和三维绘图和图形
- 选择查找表（LUT）中的时序和功耗来表征单元库的性能指标，并为其提供2D或3D图形展示，包括CCS和ECSM波形图
- 通过对这些值的深入统计，标识其绝对和相对偏差
- 绘制CCS电流波形与产生的电压波形
输入
- 单元库library模型文件，包括NLDM、NLPM、CCS、ECSM和LVF Moments扩展名
- 可选的配置文件，可用于对定制单元、测量值、统计数据、标识、偏差阈值和格式进行自定义分析
输出
- 带有到单元、管脚、时序、报告和统计数据的分层超链接导航的HTML数据手册
- 包含所有和时序相关的数据和曲线图的Excel表格
- 用于导出的可读文本PDF格式和CSV/TSV原始数据
- 支持二维和三维彩色显示的的PNG数据格式
- 对于库文件可以进行编辑、合并和插入新的操作环境
On-Chip Variation and the Sign-off Timing Flow: An Industry Perspective
Nanometer Library Characterization: Challenges and Solutions
Standard Cell Layout Migration and Optimization