FPGA; SAT-based; symmetry; technology mapping;
机译:利用对称性来加速基于SAT的布尔匹配以实现FPGA的逻辑综合
机译:使用布尔匹配的FPGA延迟最小映射算法
机译:使用布尔匹配的FPGA延迟最小映射算法
机译:用于FPGA技术映射的SAT基布尔匹配中利用对称性的新方法
机译:布尔匹配和基于级别的技术映射。
机译:具有通用对称性的基于索引的子图匹配算法(ISMAGS):利用对称性实现更快的子图枚举
机译:1利用对称性来加速基于SAT的布尔匹配以实现FPGA的逻辑综合
机译:从布尔表达式到标准单元的技术映射