We use cookies to improve your experience with our site.

考虑峰值电流优化的低功耗有限状态机状态分配算法

Low Power State Assignment Algorithm for FSMs Considering Peak Current Optimization

  • 摘要: 有限状态机在时序电路设计中起着至关重要的作用。在有限状态机中,由状态跳变引起的高峰值电流会导致较大的电压降以及电迁移问题,对电路的可靠性带来较大威胁。一些已发表的文章表明峰值电流可以通过后优化方式或者布尔可满足性(SAT)建模而有效降低。但它们在降低峰值电流的同时,有些增加了整体的功耗,而另外一些求解效率不高。本文提出了一种峰值电流上界约束下的低功耗状态分配算法。首先,通过拉格朗日松弛技术将峰值电流约束包含到目标函数中,并设定拉格朗日乘子惩罚不满足约束的解。然后,采用次梯度优化方法更新拉格朗日乘子,以此求解拉格朗日子问题。最后,采用启发式算法确定峰值电流的上界,使峰值电流和功耗得到优化。与之前发表的文章在IWLS'93基准测试电路的测试数据进行比较,提出的算法能平均降低峰值电流45.27%,降低功耗6.31%,并且求解时间有较大幅度改进。

     

    Abstract: Finite state machine (FSM) plays a vital role in the sequential logic design. In an FSM, the high peak current which is drawn by state transitions can result in large voltage drop and electromigration which significantly affect circuit reliability. Several published papers show that the peak current can be reduced by post-optimization schemes or Boolean satisfiability (SAT)-based formulations. However, those methods of reducing the peak current either increase the overall power dissipation or are not efficient. This paper has proposed a low power state assignment algorithm with upper bound peak current constraints. First the peak current constraints are weighted into the objective function by Lagrangian relaxation technique with Lagrangian multipliers to penalize the violation. Second, Lagrangian sub-problems are solved by a genetic algorithm with Lagrangian multipliers updated by the subgradient optimization method. Finally, a heuristic algorithm determines the upper bound of the peak current, and achieves optimization between peak current and switching power. Experimental results of International Workshop on Logic and Synthesis (IWLS) 1993 benchmark suites show that the proposed method can achieve up to 45.27% reduction of peak current, 6.31% reduction of switching power, and significant reduction of run time compared with previously published results.

     

/

返回文章
返回