Fast vectorless power grid verification using an approximate inverse technique
Fast vectorless power grid verification using an approximate inverse technique
复制标题
使用近似逆技术进行快速无矢量电网验证
DOI：
10.1145/1629911.1629962
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
F. Najm
中科院分区：
文献类型：
--
作者：
N. A. Ghani;F. Najm
现代集成电路中的电网验证是早期系统设计中不可分割的一部分，其中最容易进行调整。在这项工作中，我们描述了一种电流约束框架下的早期验证方法，其中最坏情况节点电压降通过与网格大小成比例的线性程序计算。我们提出了一种基于稀疏近似逆技术的有效方法，以大大减少这种线性规划的大小，同时确保用户指定的精确解的过估计裕度（以伏特为单位）。
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an early verification approach under the framework of current constraints where worst-case node voltage drops are computed via linear programs proportional to the grid size. We propose an efficient method based on a sparse approximate inverse technique to greatly reduce the size of such linear programs while ensuring a user-specified over-estimation margin (in volts) on the exact solution.