子集可满足性相关论文
介绍了用布尔可满足性（SAT）和子集可满足性（sub-SAT）算法解决FPGA的详细布线问题。在布线资源固定的FPGA布线环境中，布尔公式可以证明所......
采用现场可编程门阵列(FPGA)可以快速实现数字电路,但是用于生成FPGA编程的比特流文件的CAD工具在编制大规模电路时常常需要数小时......
