Results 251 to 260 of about 4,810,089 (329)

A Logic Synthesis Methodology for Low-Power Ternary Logic Circuits

IEEE Transactions on Circuits and Systems I: Regular Papers, 2020
We propose a logic synthesis methodology with a novel low-power circuit structure for ternary logic. The proposed methodology synthesizes a ternary function as a ternary logic gate using carbon nanotube field-effect transistors (CNTFETs).
Sunmean Kim, Sung-Yun Lee, Sunghye Park, Kyung Rok Kim, Seokhyeong Kang   +4 more
semanticscholar   +3 more sources

An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018
Quantum-dot cellular automata (QCA) are an emerging field-coupled nanotechnology with remarkable performance and energy efficiency. In order to enable the exploration of this technology, we propose a model for the logic synthesis of QCA circuits that ...
F. Sill Torres, R. Wille, Philipp Niemann, R. Drechsler   +3 more
semanticscholar   +3 more sources

Multilevel logic synthesis

Proceedings of the IEEE, 1990
A survey of logic synthesis techniques for multilevel combinational logic is presented. The goal is to provide more in-depth background and perspective for people interested in pursuing or assessing some of the topics in this emerging field. Introductions, capsule summaries, and, in some cases, detailed analysis of the synthesis methods that have ...
R.K. Brayton, G.D. Hachtel, A.L. Sangiovanni-Vincentelli   +2 more
openaire   +3 more sources

An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller

International Journal of Human Computer Studies, 1999
E. Mamdani, S. Assilian
semanticscholar   +3 more sources

Bulls-Eye: Active Few-Shot Learning Guided Logic Synthesis

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023
Generating suboptimal synthesis transformation sequences (“synthesis recipe”) is an important problem in logic synthesis. Manually crafted synthesis recipes have poor quality.
A. B. Chowdhury, Benjamin Tan, Ryan Carey, Tushit Jain, R. Karri, S. Garg   +5 more
semanticscholar   +1 more source

RL-Guided Runtime-Constrained Heuristic Exploration for Logic Synthesis

2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2021
Within logic synthesis, most optimization scripts are well-defined heuristics that generalize over a variety of Boolean circuits. These heuristic-based scripts comprise various optimization algorithms which are applied sequentially in a specific order ...
Yasasvi V. Peruvemba, Shubham Rai, K. Ahuja, Akash Kumar   +3 more
semanticscholar   +1 more source

A Circuit-Based SAT Solver for Logic Synthesis

2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2021
In recent years SAT solving has been widely used to implement various circuit transformations in logic synthesis. However, off-the-shelf CNF-based SAT solvers often have suboptimal performance on these challenging optimization problems.
He-Teng Zhang, J. Jiang, A. Mishchenko
semanticscholar   +1 more source

Logic Synthesis

EDA for IC Implementation, Circuit Design, and Process Technology, 2006
Sunil Khatri, Narendra Shenoy
openaire   +2 more sources

ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set

Design Automation Conference, 2020
Approximate computing is an emerging design technique for error-resilient applications. It improves circuit area, power, and delay at the cost of introducing some errors.
Chang Meng, Weikang Qian, A. Mishchenko
semanticscholar   +1 more source