标准单元库电源管理与数据保持逻辑套件的自动化验证框架
硬件体系结构
2024-06-04 v1
摘要
标准单元库的开发涉及在不同单元级抽象层次上对大量门级电路进行表征。验证这些单元的行为在很大程度上依赖于电路设计人员的技能。尤其具有挑战性的是电源管理和数据保持单元，除了逻辑功能外，还必须彻底检查其电压和电源配置。此外，当标准单元被提取到各种模型中时，这些模型中的任何不一致性在库开发过程中通常不会被检查。因此，在交付给客户之前对这些单元进行详尽验证，不仅有助于提高客户满意度，还能降低设计成本。我们通过提出一种方法来应对这一挑战，该方法用于验证低功耗芯片逻辑设计流程中使用的电源管理和数据保持单元。为了便于标准单元库设计团队快速采用，该框架完全自动化且开箱即用。所提出的框架已在三星代工厂生态系统内实施和部署，以提高库设计套件交付物的整体质量。
引用
@article{arxiv.2406.00542,
title = {An Automated Validation Framework for Power Management and Data Retention Logic Kits of Standard Cell Library},
author = {Akshay Karkal Kamath and Bharath Kumar and Sunil Aggarwal and Subramanian Parameswaran and Parag Lonkar and Debi Prasanna and Somasunder Sreenath},
journal= {arXiv preprint arXiv:2406.00542},
year = {2024}
}
备注
33rd Design and Verification Conference and Exhibition United States (DVCon U.S. 2021)