伪布尔可满足性相关论文
为了克服布尔可满足性算法在现场可编程门阵列布线中存在的不足,引进了一种在标准对称阵列（隔离岛状）现场可编程门阵列结构下的新型......
介绍了用布尔可满足性（SAT）和子集可满足性（sub-SAT）算法解决FPGA的详细布线问题。在布线资源固定的FPGA布线环境中，布尔公式可以证明所......
针对传统布尔可满足性(SAT)法在处理纳米CMOS电路(CMOL)单元配置时,存在合取范式(CNF)表示的约束子句个数过多、中间处理文件过大......
现场可编程门阵列(Field Programmable Gate Array,FPGA)是一种包含大量可配置的逻辑资源和布线资源、用户可编程的逻辑器件。使用......
