Results 21 to 30 of about 4,810,089 (329)
The Journal of Logic Programming, 1994 AbstractThis paper presents an overview and a survey of logic program synthesis. Logic program synthesis is interpreted here in a broad way; it is concerned with the following question: given a specification, how do we get a logic program satisfying the specification?
Deville, Yves, Lau, KK.
openaire +3 more sources
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis [PDF]
Design Automation ConferenceLogic synthesis plays a crucial role in the digital design flow. It has a decisive influence on the final Quality of Results (QoR) of the circuit implementations.
Chen Chen +5 more
semanticscholar +1 more source
Transition Based Synthesis with Modular Encoding of Petri Nets into FPGAs
Advances in Electrical and Electronic Engineering, 2014 The paper describes a new method for the synthesis of the application specific logic controllers, targeted into the FPGA. The initial steps of the proposed control algorithm rely on the notion of a Petri net, which is an easy way to describe parallel ...
Arkadiusz Bukowiec +2 more
doaj +1 more source
Reversible logic circuit synthesis [PDF]
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design - ICCAD '02, 2002 Reversible or information-lossless circuits have applications in digital signal processing, communication, computer graphics and cryptography. They are also a fundamental requirement in the emerging field of quantum computation. We investigate the synthesis of reversible circuits that employ a minimum number of gates and contain no redundant input ...
Shende, Vivek V. +3 more
openaire +2 more sources
Design Automation and Design Space Exploration for Quantum Computers [PDF]
, 2016 A major hurdle to the deployment of quantum linear systems algorithms and recent quantum simulation algorithms lies in the difficulty to find inexpensive reversible circuits for arithmetic using existing hand coded methods.
bhaskar +10 more
core +2 more sources
On Ladder Diagrams Compilation and Synthesis to FPGA Implemented Reconfigurable Logic Controller
Advances in Electrical and Electronic Engineering, 2014 The paper presents synthesis process of a hardware implemented reconfigurable logic controller from a ladder diagram according to IEC61131-3 requirements. It is focused on the originally developed a high-performance LD processing method.
Adam Milik
doaj +1 more source
The Synthesis Method of Logic Circuits Based on the NMOS-Like RRAM Gates
IEEE Access, 2021 The synthesis method of logic circuits based on the RRAM (Resistive Random Access Memory) devices is of great concern in recent years. Inspired by the CMOS-like RRAM based logic gates, this work proposes a NMOS-like RRAM gate family.
Xiaole Cui, Ye Ma, Feng Wei, Xiaoxin Cui
doaj +1 more source
Technology mapping oriented to adaptive logic modules [PDF]
Bulletin of the Polish Academy of Sciences: Technical Sciences, 2019 This paper presents an innovative method of technology mapping of the circuits in ALM appearing in FPGA devices by Intel. The essence of the idea is based on using triangle tables that are connected with different configurations of blocks. The innovation
M. Kubica, D. Kania
doaj +1 more source
A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks
Design, Automation and Test in Europe, 2020 Logic synthesis is a fundamental step in the realization of modern integrated circuits. It has traditionally been employed for the optimization of CMOS-based designs, as well as for emerging technologies and quantum computing.
Eleonora Testa +4 more
semanticscholar +1 more source
Low power design and ASIC research of RS code
Journal of Measurement Science and Instrumentation, 2023 In order to solve the low-power design of reed-solomon (RS) code, it is carried out from different design levels such as system architecture, RTL level and gate level, etc. And it is practiced in application specific integrated circuit (ASIC) design. The
ZHANG Pingping, LI Jinming
doaj