基于二分图完美匹配的布尔匹配算法

摘要：

提出了一种改进的基于二分图完美匹配的布尔匹配算法.该算法通过把布尔变量之间的匹配问题转换为二分图的完美匹配问题,避免了原算法中因乘积项过多而导致计算时间过长的缺点.对MCNC标准测试电路的实验结果表明:与原算法相比,改进后的算法可以减少21%左右的计算时间.同时,文中提出了布尔变量强匹配的概念,它是对传统布尔匹配概念的引申.

关键词：逻辑综合、布尔匹配、工艺映射、图论

所属期刊栏目：13

分类号：TN47(微电子学、集成电路（IC）)

资助基金：美国国家科学基金5978 EastAsia and Pacific Program-9602485

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：961-965