| 基于可满足性模理论的CMOL电路单元映射 |
| |
| 引用本文： | 金俊杰,储著飞,王伦耀,夏银水.基于可满足性模理论的CMOL电路单元映射[J].宁波大学学报(理工版),2018,0(6):7-11. |
| |
| 作者姓名： | 金俊杰 储著飞 王伦耀 夏银水 |
| |
| 作者单位： | (宁波大学 信息科学与工程学院, 浙江 宁波 315211) |
| |
| 摘 要： | 针对纳米CMOS混合电路(CMOL)单元映射时, 传统的精确算法存在编码变量多、文件存储大导致的求解规模受限问题, 提出了一种基于可满足性模理论(SMT)的CMOL电路单元映射方法, 该方法通过整型编码减小文件存储大小, 通过渐进式求解算法兼顾求解规模和速度. 实验结果表明, 与传统的精确算法相比, 本文提出的方法可大幅减少中间处理文件的大小, 并以较小的求解速度为代价提高了处理大规模电路的能力.
|
| 关 键 词： | CMOL电路 单元映射 精确算法 |
CMOL cell mapping based on satisfiability modulo theory |
| |
| JIN Jun-jie,CHU Zhu-fei,WANG Lun-yao,XIA Yin-shui.CMOL cell mapping based on satisfiability modulo theory[J].Journal of Ningbo University(Natural Science and Engineering Edition),2018,0(6):7-11. |
| |
| Authors: | JIN Jun-jie CHU Zhu-fei WANG Lun-yao XIA Yin-shui |
| |
| Affiliation: | ( Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo 315211, China ) |
| |
| Abstract: | Traditional exact algorithm methods require a vast number of variables and files of large size during CMOL cell mapping, which severely limits the algorithm scalability. To address this problem, a CMOL cell mapping method is proposed based on Satisfiability Modulo Theory (SMT). Instead of using binary variables, the proposed method makes use of integer variables to reduce the number of required variables and simplify the expression of constraints, which in turn significantly cuts the file size. Moreover, we adopt incremental solving strategy to seek both solution scale and CPU time by reducing the number of constraints and narrowing the range of variables. Experimental results show that the proposed method possesses better scalability with more affordable CPU time cost than traditional precision methods. |
| |
| Keywords: | CMOL circuit cell mapping exact algorithm |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《宁波大学学报(理工版)》浏览原始摘要信息 |
|
点击此处可从《宁波大学学报(理工版)》下载全文 |
|
