Title :
A pseudo-boolean programming approach for CMOL cell assignment
Author :
Wang, Xianjian ; Wang, Lunyao ; Xia, Yinshui
Author_Institution :
Fac. of Inf. Sci. & Eng., Ningbo Univ., Ningbo, China
Abstract :
In this paper, we introduce a pseudo-boolean programming approach to CMOL cell assignment. Unlike the SAT-based method, we encode the CMOL cell assignment problem as pseudo-boolean (PB) constraints; and the problem can be solved by using PB solver. The proposed method is tested on ISCAS benchmarks. Experimental results show that the proposed method has small constraints files, and can deal with some circuits while the SAT-based method can´t do.
Keywords :
Boolean functions; CMOS logic circuits; NOR circuits; electronic engineering computing; molecular electronics; nanoelectronics; nanowires; CMOL cell assignment; CMOS-nanowire-molecular hybrid structure; ISCAS benchmarks; PB solver; SAT-based method; pseudo-boolean constraints; pseudo-boolean programming approach; Computer architecture; Encoding; Field programmable gate arrays; Logic gates; Microprocessors; Multiplexing; Programming; CMOL; SAT; cell assignment; pseudo-boolean;
Conference_Titel :
Electronics, Communications and Control (ICECC), 2011 International Conference on
Conference_Location :
Zhejiang
Print_ISBN :
978-1-4577-0320-1
DOI :
10.1109/ICECC.2011.6066768
