Empyrean Liberal

         标准单元库是数字集成电路设计的重要基础。它是集成电路设计过程中预先定义好的、特征化的标准模块的集合。通过电路仿真的方式提取标准单元的时序、功耗等特征值，建立标准单元逻辑信息模型文件的过程称之为标准单元库的特征化提取。随着工艺的发展和设计复杂度的增加，标准单元的类型、数目和工艺角急剧增加，标准单元的特征化模型描述也越来越复杂，使得生成一套标准单元库的特征化模型时间越来越长，甚至多达数月。标准单元库特征化提取的时间花费已成为制约数字电路设计效率的重要瓶颈之一。

         Empyrean Liberal®为用户提供了一套快速而精确的标准单元库时序和功耗特征化模型的解决方案。工具通过内置的电路仿真工具Empyrean ALPS®对标准单元进行仿真分析，精确地提取时序和功耗特征值，形成标准单元库特征化模型。同时，通过高效的分布式并行调度技术，进一步提升了单元库特征化提取的性能，为用户加速单元库的设计和优化提供了重要支撑。

         Empyrean Liberal® AI 采用 AI（人工智能）技术，基于现有PVT Corner可以准确地预测出新 Liberty 文件，显著减少特征化提取时间和所占用的机器资源。

         Empyrean Liberal®还可以对单元库进行质量验证。用户可以利用Empyrean Liberal®比较两个单元库的数据、属性和结构，对比精度差异，仿真验证库文件数据的准确性等，从而保证单元库文件的质量。