SATSoT: A Methodology to Map Controllable-Polarity Devices on a Regular Fabric Using SAT

Devices with controllable-polarity, such as Double-Gate Vertically-Stacked Nanowire FETs, have shown promising interests in recent years to implement XOR-based logic functions in an unprecedented compact way. Such a compactness is obtained at the cost of a denser interconnect, that can be mitigated by designing an efficient hyper-regular layout structure, called Sea-of-Tiles. In this paper, we propose a methodology, based on Boolean satisfiability, to map netlists of transistors on such a structure. The methodology endeavors to minimize the wiring complexity, by maximizing the sharing of the different terminals. We showed that its implementation, SATSoT, is able to automatically generate compact mappings with wiring complexities similar to manual layouts.


Published in:
Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH), 46-51
Presented at:
IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH), Brooklyn, NY, USA, July 15-17, 2013
Year:
2013
ISBN:
978-1-4799-0873-8
Keywords:
Laboratories:




 Record created 2013-12-05, last modified 2018-11-26

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)