Search
Search Results
-
Logic Synthesis
This chapter delves into the subject of logic synthesis within the FPGA design process. It involves the conversion of high-level hardware description... -
Logic Synthesis with XOR-Majority Graphs
Logic synthesis plays an important role in optimizing a logic representation for a given circuit in terms of a cost function, typically focusing on... -
A dynamic programming approach to multi-objective logic synthesis of quantum circuits
Quantum computing is an emerging technology that harnesses the laws of quantum mechanics to solve some problems much faster than classical computers....
-
Synthesis for Prefix First-Order Logic on Data Words
We study the reactive synthesis problem for distributed systems with an unbounded number of participants interacting with an uncontrollable... -
Controller synthesis for linear temporal logic and steady-state specifications
The problem of deriving decision-making policies, subject to some formal specification of behavior, has been well-studied in the control synthesis,...
-
External Don’t Cares in Logic Synthesis
Don’t-care conditions are flexibilities in logic networks that can be used to optimize networks by re-expressing incompletely specified Boolean... -
Improving Naturalness in Speech Synthesis Using Fuzzy Logic
The TTS (Text to Speech) synthesis systems have been developed for Indian languages for a few decades. Very little work has been done specifically... -
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023,...
-
Cost-effective synthesis of QCA logic circuit using genetic algorithm
Quantum-dot cellular automata (QCA) is a field coupling nano-technology that has drawn significant attention for its low power consumption, low area...
-
Fast AIG-Based Approximate Logic Synthesis
Approximate computing is a design paradigm that trades off computational accuracy for gains in nonfunctional aspects such as smaller area, shorter... -
Machine Learning for Logic Synthesis
In this chapter we will cover several applications of machine learning in logic synthesis algorithms for electronic design automation (EDA). We will... -
VLSI-based Logic Synthesis
The chapter deals with analysis of methods of logic synthesis targeting VLSI. It starts with analysis of evolution of logic elements. The... -
Freight tour synthesis based on entropy maximization with fuzzy logic constraints
This paper presents an improved entropy-based freight tour synthesis (FTS) using fuzzy logic (FL). One approach used in formulating FTS models is...
-
Synthesis of Fault-Tolerant QCA Logic Circuit Using Cellular Automata
The CMOS technology faces significant obstacles in digital logic design because of its reduced device density and increased power consumption.... -
Artificial Neural Networks and Logic Circuit Synthesis
We consider the application of artificial neural networks to logic circuit synthesis. The potential promise of this method is shown. Circuit...
-
Temperature Aware Bi-partitioning Multi-level Logic Synthesis
The integration of a large number of transistors and device scaling results in the development of high-power density within Very Large-Scale... -
Robust computation tree logic
It is widely accepted that every system should be robust in that “small” violations of environment assumptions should lead to “small” violations of...
-
Direct design of ground-state probabilistic logic using many-body interactions for probabilistic computing
In this work, an innovative design model aimed at enhancing the efficacy of ground-state probabilistic logic with a binary energy landscape...
-
Synthesis of Fast Finite State Machines on Programmable Logic Integrated Circuits by Splitting Internal States
AbstractA method for the synthesis of fast finite state machines on programmable logic integrated circuits such as field-programmable gate arrays is...
-
Logic-Based Program Synthesis and Transformation 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings
This book constitutes the refereed proceedings of the 32ndInternational Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which...