加急见刊

基于可满足性模理论的CMOL电路单元映射

金俊杰; 储著飞; 王伦耀; 夏银水 宁波大学信息科学与工程学院; 浙江宁波315211

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

注: 保护知识产权,如需阅读全文请联系宁波大学学报杂志社