逻辑验证和综合中，布尔匹配利用有序二叉判定图（Ordered Binary Decision Diagram,OBDD)检验两个给定的逻辑函数是否相等。直接枚举......

提出了一种改进的基于二分图完善匹配的布尔匹配算法。该算法通过把布尔变量之间的匹配问题转换为二分图的完善匹配问题，避免了原算......

文中首先介绍了布尔匹配与FPGA的关系,分析了布尔匹配问题转化为可满足性问题,针对布尔匹配算法的问题提出了改进措施,通过异构的......