Fast Filter-Based Boolean Matchers

Chaofan Yu,Lingli Wang,Chun Zhang,Yu Hu,Lei He
DOI: https://doi.org/10.1109/les.2013.2280582
IF: 1.524
2013-01-01
IEEE Embedded Systems Letters
Abstract:Boolean matching is one of the fundamental and time-consuming procedures in field-programmable gate array (FPGA) synthesis. The SAT-based Boolean matchers (BMs) are not scalable while other Boolean matchers based on complicated Boolean logic operation algorithms are not flexible for complex PLBs. Recently, a scalable Boolean matcher (F-BM) based on the Bloom filter has been proposed for both scala...
What problem does this paper attempt to address?