线性规划法在基于TBF的EDA中的应用综述

摘要

时变布尔函数(TBF)用统一的代数形式描述数字电路的逻辑行为和时变行为,在IC设计领域显示出广泛的应用前景.本文简述了TBF在IC自动设计中的应用,探讨了线性规划法和一般线性规划,混合布尔线性规划,整数线性规划在电路延时计算,IC延时故障测试,高级综合,布图设计及重定时等多个方面的应用并简要讨论了各种规划问题的有效的多项式解法.论及了线性规划在目前IC设计中的前景及重要意义.