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

• 作者: 吕宗伟 张镭 林争辉
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 逻辑综合 布尔匹配 工艺映射 图论
• 年，卷（期）: 2001,（11）
• 所属期刊栏目: 电子设计自动化
• 页码范围: 961-965
• 页数: 5页
• 分类号: TN47
• 字数: 4514字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2001.11.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林争辉	上海交通大学大规模集成电路研究所	116	603	12.0	20.0
2	吕宗伟	上海交通大学大规模集成电路研究所	23	116	5.0	10.0
3	张镭	上海交通大学大规模集成电路研究所	17	57	3.0	7.0