论文部分内容阅读
针对纳米CMOS混合电路（CMOL）单元映射时,传统的精确算法存在编码变量多、文件存储大导致的求解规模受限问题,提出了一种基于可满足性模理论（SMT）的CMOL电路单元映射方法,该方法通过整型编码减小文件存储大小,通过渐进式求解算法兼顾求解规模和速度.实验结果表明,与传统的精确算法相比,本文提出的方法可大幅减少中间处理文件的大小,并以较小的求解速度为代价提高了处理大规模电路的能力.