节点文献
线性规划法在基于TBF的EDA中的应用综述
【机构】 哈尔滨工程大学计算机与信息科学系;
【摘要】 时变布尔函数(TBF)用统一的代数形式描述数字电路的逻辑行为和时变行为,在IC设计领域显示出广泛的应用前景。本文简述了TBF在IC自动设计中的应用,探讨了线性规划法如一般线性规划,混合布尔线性规划,整数线性规划在电路延时计算,IC延时故障测试,高级综合,布图设计及重定时等多个方面的应用并简要讨论了各种规划问题的有效的多项式解法。论及了线性规划在目前IC设计中的前景及重要意义。
【基金】 国家自然科学基金(项目编号:69973014)
- 【会议录名称】 中国电子学会第七届学术年会论文集
- 【会议名称】中国电子学会第七届学术年会
- 【会议时间】2001-07
- 【会议地点】中国北京
- 【分类号】TN402
- 【主办单位】中国电子学会