New Data Structures and Algorithms for Logic Synthesis and Verification
Title | New Data Structures and Algorithms for Logic Synthesis and Verification PDF eBook |
Author | Luca Gaetano Amaru |
Publisher | Springer |
Total Pages | 162 |
Release | 2016-08-02 |
Genre | Technology & Engineering |
ISBN | 3319431749 |
This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines.
Algorithms and Data Structures for Logic Synthesis and Verification Using Boolean Satisfiability
Title | Algorithms and Data Structures for Logic Synthesis and Verification Using Boolean Satisfiability PDF eBook |
Author | Kevin W. DeRonne |
Publisher | |
Total Pages | 103 |
Release | 2013 |
Genre | |
ISBN |
Algorithms and Data Structures for Logic Synthesis and Verification Using Boolean Satisfiability
Title | Algorithms and Data Structures for Logic Synthesis and Verification Using Boolean Satisfiability PDF eBook |
Author | John D. Backes |
Publisher | |
Total Pages | 145 |
Release | 2013 |
Genre | |
ISBN |
Design Automation and Applications for Emerging Reconfigurable Nanotechnologies
Title | Design Automation and Applications for Emerging Reconfigurable Nanotechnologies PDF eBook |
Author | Shubham Rai |
Publisher | Springer Nature |
Total Pages | 230 |
Release | 2023-09-11 |
Genre | Technology & Engineering |
ISBN | 3031379241 |
This book is a single-source solution for anyone who is interested in exploring emerging reconfigurable nanotechnology at the circuit level. It lays down a solid foundation for circuits based on this technology having considered both manual as well as automated design flows. The authors discuss the entire design flow, consisting of both logic and physical synthesis for reconfigurable nanotechnology-based circuits. The authors describe how transistor reconfigurable properties can be exploited at the logic level to have a more efficient circuit design flow, as compared to conventional design flows suited for CMOS. Further, the book provides insights into hardware security features that can be intrinsically developed using the runtime reconfigurable features of this nanotechnology.
Advanced Techniques in Logic Synthesis, Optimizations and Applications
Title | Advanced Techniques in Logic Synthesis, Optimizations and Applications PDF eBook |
Author | Kanupriya Gulati |
Publisher | Springer Science & Business Media |
Total Pages | 423 |
Release | 2010-11-25 |
Genre | Technology & Engineering |
ISBN | 1441975187 |
This book covers recent advances in the field of logic synthesis and design, including Boolean Matching, Logic Decomposition, Boolean satisfiability, Advanced Synthesis Techniques and Applications of Logic Design. All of these topics are valuable to CAD engineers working in Logic Design, Logic Optimization, and Verification. Engineers seeking opportunities for optimizing VLSI integrated circuits will find this book as an invaluable reference, since there is no existing book that covers this material in a systematic fashion.
Simulation and Optimization of Digital Circuits
Title | Simulation and Optimization of Digital Circuits PDF eBook |
Author | Vazgen Melikyan |
Publisher | Springer |
Total Pages | 365 |
Release | 2018-04-12 |
Genre | Technology & Engineering |
ISBN | 3319716379 |
This book describes new, fuzzy logic-based mathematical apparatus, which enable readers to work with continuous variables, while implementing whole circuit simulations with speed, similar to gate-level simulators and accuracy, similar to circuit-level simulators. The author demonstrates newly developed principles of digital integrated circuit simulation and optimization that take into consideration various external and internal destabilizing factors, influencing the operation of digital ICs. The discussion includes factors including radiation, ambient temperature, electromagnetic fields, and climatic conditions, as well as non-ideality of interconnects and power rails.
Logic Synthesis and Verification Algorithms
Title | Logic Synthesis and Verification Algorithms PDF eBook |
Author | Gary D. Hachtel |
Publisher | Springer Science & Business Media |
Total Pages | 579 |
Release | 2005-12-17 |
Genre | Technology & Engineering |
ISBN | 0306475928 |
Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics. A unique feature of this text is the large collection of solved problems. Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs.