Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. It presents the state of the art required to travel around that world safely. Top world universities, companies and government institutions are in a race of developing new methodologies,...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Taha, Saleem Mohammed Ridha (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Έκδοση:	1st ed. 2016.
Σειρά:	Studies in Systems, Decision and Control, 37
Θέματα:	Engineering. Logic design. Quantum computers. Electronic circuits. Electrical engineering. Electrical Engineering. Quantum Computing. Logic Design. Electronic Circuits and Devices.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Logic Synthesis for Compositional Microprogram Control Units
Έκδοση: (2008)

The Unknown Component Problem Theory and Applications /
ανά: Villa, Tiziano, κ.ά.
Έκδοση: (2012)

Taxonomies for the Development and Verification of Digital Systems
Έκδοση: (2005)

A Roadmap for Formal Property Verification
ανά: DasGupta, Pallab
Έκδοση: (2006)

Logic Synthesis and Verification Algorithms
ανά: Hachtel, Gary D., κ.ά.
Έκδοση: (1996)

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
ανά: Czerwinski, Robert, κ.ά.
Έκδοση: (2013)

Logic Circuit Design Selected Methods /
ανά: Vingron, Shimon P.
Έκδοση: (2012)

Compact Models and Measurement Techniques for High-Speed Interconnects
ανά: Sharma, Rohit, κ.ά.
Έκδοση: (2012)

Logic Synthesis for FSM-Based Control Units
ανά: Barkalov, Alexander, κ.ά.
Έκδοση: (2009)

Wideband Low Noise Amplifiers Exploiting Thermal Noise Cancellation
ανά: Bruccoleri, Federico, κ.ά.
Έκδοση: (2005)

Separation Logic for High-level Synthesis
ανά: Winterstein, Felix
Έκδοση: (2017)

New Data Structures and Algorithms for Logic Synthesis and Verification
ανά: Amaru, Luca Gaetano
Έκδοση: (2017)

Digital Logic Design Using Verilog Coding and RTL Synthesis /
ανά: Taraate, Vaibbhav
Έκδοση: (2016)

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /
ανά: Gokhale, Maya, κ.ά.
Έκδοση: (2005)

Advanced design techniques for RF power amplifiers
ανά: Rudiakova, Anna, κ.ά.
Έκδοση: (2006)

Essential Issues in SOC Design Designing Complex Systems-on-Chip /
Έκδοση: (2006)

Abstraction Refinement for Large Scale Model Checking
ανά: Wang, Chao, κ.ά.
Έκδοση: (2006)

Fault-Tolerance Techniques for SRAM-based FPGAs
ανά: Kastensmidt, Fernanda Lima, κ.ά.
Έκδοση: (2006)

Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits /
ανά: Alioto, Massimo, κ.ά.
Έκδοση: (2005)

High-Level Synthesis From Algorithm to Digital Circuit /
Έκδοση: (2008)

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005 /
Έκδοση: (2006)

New Algorithms, Architectures and Applications for Reconfigurable Computing
Έκδοση: (2005)

Introduction to Logic Circuits & Logic Design with Verilog
ανά: LaMeres, Brock J.
Έκδοση: (2017)

Introduction to Logic Circuits & Logic Design with VHDL
ανά: LaMeres, Brock J.
Έκδοση: (2017)

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
Έκδοση: (2015)

Proceedings of International Conference on VLSI, Communication, Advanced Devices, Signals & Systems and Networking (VCASAN-2013)
Έκδοση: (2013)

Design of Energy-Efficient Application-Specific Instruction Set Processors
ανά: Glökler, Tilman, κ.ά.
Έκδοση: (2004)

VLSI Physical Design: From Graph Partitioning to Timing Closure
ανά: Kahng, Andrew B., κ.ά.
Έκδοση: (2011)

Digital Timing Measurements From Scopes and Probes to Timing and Jitter /
ανά: Maichen, Wolfgang
Έκδοση: (2006)

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
ανά: CASTRO-LÓPEZ, R., κ.ά.
Έκδοση: (2006)

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
ανά: Chang, Kai-hui, κ.ά.
Έκδοση: (2009)

Adaptive Techniques for Mixed Signal System on Chip
ανά: Fayed, Ayman, κ.ά.
Έκδοση: (2006)

VHDL Coding Styles and Methodologies
ανά: Cohen, Ben
Έκδοση: (1999)

Analog Circuit Design RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage /
Έκδοση: (2006)

Advanced ASIC Chip Synthesis Using Synopsys® Design Compiler™ Physical Compiler™ and PrimeTime®
ανά: Bhatnagar, Himanshu
Έκδοση: (2002)

Computation Engineering Applied Automata Theory and Logic /
ανά: Gopalakrishnan, Ganesh
Έκδοση: (2006)

Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications /
ανά: Sakurai, Takayasu, κ.ά.
Έκδοση: (2006)

Developing Security Tools of WSN and WBAN Networks Applications
ανά: A. M. El-Bendary, Mohsen
Έκδοση: (2015)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
ανά: Patra, Priyardarsan, κ.ά.
Έκδοση: (2008)

Applications of Advanced Electromagnetics Components and Systems /
ανά: Kouzaev, Guennadi A.
Έκδοση: (2013)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών