Liberal特征化提取工具

Liberal是华大九天推出的全栈式K库（Library Characterization）解决方案，用于单元库特征化提取。K库是数字IC设计的关键环节，通过电路仿真提取出单元在各种工况下的时序、功耗、噪声等核心特性参数，形成逻辑信息模型文件，直接决定了芯片的性能、功耗和良率。

Liberal覆盖从标准单元库、输入输出接口（I/O Interface）、存储器单元到复杂数模混合IP库的全类型支持，实现从基础单元到复杂设计的一站式支持。工具提供签核（Signoff）级别的输出精度，满足先进工艺芯片设计的严格要求。

Liberal构建了全方位的K库+验库工具链，包括Qualib质量验证工具、XTime高精度时序仿真分析工具以及Liberty Python API接口等。工具同时支持CPU和GPU平台，为用户提供灵活的部署选择。

Liberal-GT是全球首款GPU K库工具，通过集成基于CPU-GPU异构计算框架的SPICE仿真器ALPS GT，将GPU的强大算力引入特征化提取领域。对于复杂LVF模型，Liberal-GT实现了近乎一个数量级的性能提升，最高加速比可达15.3倍。原本需要近三天（69小时）完成的K库任务，如今仅需7个小时。

Liberal采用AI智能化技术，可自动优化特征化提取流程，提高提取效率和质量。工具支持多种模型格式输出，包括Liberty、CCS、LVF等主流格式，满足不同设计流程的需求。