MIXSyn: An efficient logic synthesis methodology for mixed XOR-AND/OR dominated circuits

Abstract

Abstract-We present a new logic synthesis methodology, called MIXSyn, that produces area-efficient results for mixed XOR-AND/OR dominated logic functions. MIXSyn is a two step synthesis process. The first step is a hybrid logic optimization that enables selective and distinct optimization of AND/OR and XOR-intensive portions of the logic circuit. The second step is a library-free technology mapping that enhances design flexibility with a tractable computational cost. MIXSyn has been tested on a set of large MCNC benchmarks. Experimental results indicate that MIXSyn produces CMOS circuits with 18.0% and 9.2% fewer devices, on the average, with respect to state-of-art academic and commercial synthesis tools, respectively. MIXSyn is also capable to exploit the opportunity of novel XOR implementations offered by the use of double-gate ambipolar devices. Experimental results show that MIXSyn can reduce the number of ambipolar transistors by 20.9% and 15.3%, on the average, with respect to state-of-art academic and commercial synthesis tools, respectively.

Electrically reconfigurable dual metal-gate planar field-effect transistor for dopant-free CMOS

“…PFET or NFET) on the fly, enables digital circuit designers to build switchable NAND/NOR cells with the very same physical transistors in place saving precious silicon area [10]. Using innovative logic synthesis methodologies like MIXSyn the total transistor count for logic applications can be further reduced [11], [12].…”

SATSoT: A methodology to map controllable-polarity devices on a regular fabric using SAT

“…In addition, while linked to a synthesis framework such as ABC [20] or MIXSyn [21], SATSoT enables the design of complex circuits by providing an automatic link between logic cells and their efficient implementation onto the SoT. Such an opportunity is of paramount interest, as it allows the designers to study not only the performance of SoT, but also to exploit the new set of logic functions proposed by controllable-polarity devices [6].…”

“…Such an opportunity is of paramount interest, as it allows the designers to study not only the performance of SoT, but also to exploit the new set of logic functions proposed by controllable-polarity devices [6]. In addition, SATSoT paves the way to library-free mapping approaches, especially promising for the architectural exploration of circuits based on controllable-polarity devices [21]. Finally, the modularity of SATSoT enables the generation of several different mappings for each gate to support a large set of geometrical conformations, simply by modifying the dimensions of the grid, leveraging some extra freedom for any subsequent gate placement step.…”

Towards structured ASICs using polarity-tunable Si nanowire transistors

“…In order to harness this novel paradigm during automated circuit synthesis, both XOR/XNOR and AND/OR functions must be evidenced and exploited at the same time. A first attempt to achieve effective logic synthesis targeting controllable polarity transistors is MIXSyn [17]. The key feature of MIXSyn is a hybrid logic optimization.…”