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

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