基于伪布尔可满足性的纳米CMOS电路单元配置

针对传统布尔可满足性(SAT)法在处理纳米CMOS电路(CMOL)单元配置时，存在合取范式(CNF)表示的约束子句个数过多、中间处理文件过大的问题，该文提出了利用伪布尔可满足性(PBS)来解决CMOL电路的单元配置问题。实验结果显示，相对于传统的SAT法，PBS法在不增加额外的布尔变量集个数的条件下，通过降低编码过程中的约束个数，能有效减少中间处理文件大小，达到提高算法效率和提高处理大电路的能力。

Nano-meter CMOS Circuit Cell Assignment Based on Pseudo-Boolean Satisfiability

With the deficiency of the efficient of the Boolean SATisfiability (SAT) in the nano-meter CMOS circuit (CMOS/nanowire/MOLecular, CMOL) cell assignment resulted from the huge number of clauses and the big intermediate processing file, a novel approach using Pseudo-Boolean Satisfiability (PBS) to solve the CMOL cell assignment is proposed. The experimental results show that the proposed method can reduce the intermediate processing file efficiently by cutting down the number of the constraints without the additional Boolean variables introduced. The reduction of clauses and the intermediate processing file makes the proposed method work efficiently and improve the ability to deal with bigger circuits in contrast to the traditional SAT-based methods.