Results 1 to 10 of about 4,809,972 (218)
Synthesis of quantum logic circuits [PDF]
Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005., 2005 18 pages; v5 fixes minor bugs; v4 is a complete rewrite of v3, with 6x more content, a theory of quantum multiplexors and Quantum Shannon Decomposition.
Shende, Vivek V. +2 more
openaire +7 more sources
Approximate Logic Synthesis: A Survey
Proceedings of the IEEE, 2020 Approximate computing is an emerging paradigm that, by relaxing the requirement for full accuracy, offers benefits in terms of design area and power consumption. This paradigm is particularly attractive in applications where the underlying computation has inherent resilience to small errors.
Ilaria Scarabottolo +4 more
openaire +4 more sources
Безопасность информационных технологий, 2013 Reversibility of ongoing transformation may soon become an important criterion for logic synthesis. It was proved that every even permutation can be implemented without temporary storage using NOT, CNOT, and TOFFOLI gates. There exists group theory based
Dmitry Vladimirovich Zakablukov
doaj +1 more source
BOiLS: Bayesian Optimisation for Logic Synthesis [PDF]
Design, Automation and Test in Europe, 2021 Optimising the quality-of-results (QoR) of circuits during logic synthesis is a formidable challenge necessitating the exploration of exponentially sized search spaces.
Antoine Grosnit +5 more
semanticscholar +1 more source
GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis [PDF]
Neural Information Processing Systems, 2022 Despite achieving superior performance in human-level control problems, unlike humans, deep reinforcement learning (DRL) lacks high-order intelligence (e.g., logic deduction and reuse), thus it behaves ineffectively than humans regarding learning and ...
Yushi Cao +7 more
semanticscholar +1 more source
Logical minimization for combinatorial structure in FPGA
Informatika, 2021 The paper describes the research results of application efficiency of minimization programs of functional descriptions of combinatorial logic blocks, which are included in digital devices projects that are implemented in FPGA.
P. N. Bibilo +2 more
doaj +1 more source
A Simulation-Guided Paradigm for Logic Synthesis and Verification
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022 This article proposes a new logic synthesis and verification paradigm based on circuit simulation. In this paradigm, high quality, expressive simulation patterns are pregenerated to be reused in multiple runs of optimization and verification algorithms ...
Siang-Yun Lee +4 more
semanticscholar +1 more source
Linear Optimization Models for Maj-3 and Maj-5 Exact Synthesis
IEEE Access, 2022 Due to the physical restriction of current CMOS technology, the study of majority based nanotechnologies has been progressing steadily. In this paper, we present a new exact synthesis algorithm for majority-of-three and majority-of-five boolean functions.
Evandro Catelani Ferraz +1 more
doaj +1 more source
Approximate Logic Synthesis Using Boolean Matrix Factorization
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2021 Approximate computing is an emerging computing paradigm offering benefits in hardware metrics, such as design area and power consumption, by relaxing the requirement for full accuracy.
Jingxiao Ma, S. Hashemi, S. Reda
semanticscholar +1 more source
Three-Input Gates for Logic Synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2021 Most logic synthesis algorithms work on graph representations of logic functions with nodes associated with arbitrary logic expressions or simple logic functions and iteratively optimize such graphs.
Dewmini Sudara Marakkalage +5 more
semanticscholar +1 more source