Defect-Tolerant CMOL Cell Assignment via Satisfiability

TL;DR

This paper introduces an automated CAD framework for CMOL hybrid circuits that maps logical circuits to physical CMOL cells, handling static defects through satisfiability-based reconfiguration, demonstrating efficiency and scalability.

Contribution

First automated framework for CMOL cell assignment that models multiple static defects and uses boolean satisfiability for mapping.

Findings

Framework is efficient and scalable.

Successfully handles various static defects.

First to automate CMOL cell assignment with defect modeling.

Abstract

We present a CAD framework for CMOL, a hybrid CMOS/ molecular circuit architecture. Our framework first transforms any logically synthesized circuit based on AND/OR/NOT gates to a NOR gate circuit, and then maps the NOR gates to CMOL. We encode the CMOL cell assignment problem as boolean conditions. The boolean constraint is satisfiable if and only if there is a way to map all the NOR gates to the CMOL cells. We further investigate various types of static defects for the CMOL architecture, and propose a reconfiguration technique that can deal with these defects through our CAD framework. This is the first automated framework for CMOL cell assignment, and the first to model several different CMOL static defects. Empirical results show that our approach is efficient and scalable.