Fast filter-based boolean matchers

C Yu, L Wang, C Zhang, Y Hu… - IEEE Embedded Systems …, 2013 - ieeexplore.ieee.org
<? Pub Dtl=""?> Boolean matching is one of the fundamental and time-consuming
procedures in field-programmable gate array (FPGA) synthesis. The SAT-based Boolean …

Engineering a scalable Boolean matching based on EDA SaaS 2.0

C Zhang, Y Hu, L Wang, L He… - 2010 IEEE/ACM …, 2010 - ieeexplore.ieee.org
Software as a Service (SaaS) 1.0 signifcantly lowers the infrastructure and maintenance cost
and increases the accessibility of the software by hosting software via the web. Compared …

[引用][C] 一种高速FPGA 配置电路设计

毛劲松, 叶海江, 周灏, 王健, 来金梅 - 复旦学报: 自然科学版, 2013

[引用][C] 基于函数分类和布隆过滤器的布尔匹配方法

包杰, 王伶俐 - 计算机工程, 2014