Defect-Tolerant CMOL Cell Assignment via Satisfiability

Details Defect-Tolerant CMOL Cell Assignment via Satisfiability Defect-Tolerant CMOL Cell Assignment via Satisfiability

2007-05-29

arxiv.org/abs/0705.4320v1

Computer Science

Discrete Mathematics

To appear in Nanoelectronic Devices for Defense and Security (NANO-DDS), Crystal City, Virginia, June 2007

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Defect-Tolerant CMOL Cell Assignment via Satisfiability does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Defect-Tolerant CMOL Cell Assignment via Satisfiability, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Defect-Tolerant CMOL Cell Assignment via Satisfiability will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-356854