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)

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

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

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

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

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

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

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

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)

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)

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

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

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

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

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)

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

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

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

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

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

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

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

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)

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

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

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

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

Adiabatic Logic Future Trend and System Level Perspective /
ανά: Teichmann, Philip
Έκδοση: (2012)

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

Cannot write session to /tmp/vufind_sessions/sess_q0lbqr72dpfhij44rjr76nn2fq