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

fYear

2011

fDate

9-11 Sept. 2011

Firstpage

1265

Lastpage

1268

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Electronics, Communications and Control (ICECC), 2011 International Conference on

Conference_Location

Zhejiang

Print_ISBN

978-1-4577-0320-1

Type

conf

DOI

10.1109/ICECC.2011.6066768

Filename

6066768

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2181549