pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: TOWARDS A DESIGN FLOW FOR REVERSIBLE LOGIC
By: Robert Wille, Rolf Drechsler
Format: Paperback

List price: £84.99


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 9400794258
ISBN 13: 9789400794252
Publisher: SPRINGER
Pub. date: 18 October, 2014
Edition: 2010 ed.
Pages: 184
Description: This book presents contributions to a design flow for reversible logic, including advanced methods for synthesis, optimization, verification, and debugging. It proposes several techniques for synthesis of very large functions in reversible logic.
Synopsis: The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes and power dissipation are the major barriers in the development of smaller and more powerful circuits. Reversible logic p- vides an alternative that may overcome many of these problems in the future. For low-power design, reversible logic offers signi?cant advantages since zero power dissipation will only be possible if computation is reversible. Furthermore, quantum computation pro?ts from enhancements in this area, because every quantum circuit is inherently reversible and thus requires reversible descriptions. However, since reversible logic is subject to certain restrictions (e.g. fanout and feedback are not directly allowed), the design of reversible circuits signi?cantly differs from the design of traditional circuits. Nearly all steps in the design ?ow (like synthesis, veri?cation, or debugging) must be redeveloped so that they become applicable to reversible circuits as well. But research in reversible logic is still at the beginning. No continuous design ?ow exists so far. Inthisbook,contributionstoadesign?owforreversiblelogicarepresented.This includes advanced methods for synthesis, optimization, veri?cation, and debugging.
Illustrations: 40 Tables, black and white; XIII, 184 p.
Publication: Netherlands
Imprint: Springer
Returns: Returnable
Some other items by this author:
ADVANCED BDD OPTIMIZATION (HB)
ADVANCED BDD OPTIMIZATION (PB)
ADVANCED FORMAL VERIFICATION (HB)
ADVANCED FORMAL VERIFICATION (PB)
ADVANCED LOGIC SYNTHESIS (HB)
AUTOMATED ANALYSIS OF VIRTUAL PROTOTYPES AT THE ELECTRONIC SYSTEM LEVEL
AUTOMATED ANALYSIS OF VIRTUAL PROTOTYPES AT THE ELECTRONIC SYSTEM LEVEL (HB)
AUTOMATED VALIDATION & VERIFICATION OF UML/OCL MODELS USING SATISFIABILITY SOLVERS
AUTOMATED VALIDATION & VERIFICATION OF UML/OCL MODELS USING SATISFIABILITY SOLVERS (HB)
AUTOMATIC METHODS FOR THE REFINEMENT OF SYSTEM MODELS (PB)
BINARY DECISION DIAGRAMS (HB)
BINARY DECISION DIAGRAMS (PB)
COMPACT REPRESENTATIONS FOR THE DESIGN OF QUANTUM LOGIC (PB)
COMPUTER (PB)
DEBUGGING AT THE ELECTRONIC SYSTEM LEVEL (HB)
DEBUGGING AT THE ELECTRONIC SYSTEM LEVEL (PB)
DESIGN AUTOMATION FOR FIELD-COUPLED NANOTECHNOLOGIES
DESIGN AUTOMATION FOR FIELD-COUPLED NANOTECHNOLOGIES (HB)
DESIGN AUTOMATION TECHNIQUES FOR APPROXIMATION CIRCUITS (HB)
DESIGN AUTOMATION TECHNIQUES FOR APPROXIMATION CIRCUITS (PB)
DESIGN FOR TESTABILITY, DEBUG AND RELIABILITY
DESIGN FOR TESTABILITY, DEBUG AND RELIABILITY (HB)
DESIGNING DROPLET MICROFLUIDIC NETWORKS
DESIGNING DROPLET MICROUIDIC NETWORKS (HB)
EFFICIENT IMPLEMENTATION OF QUANTUM CIRCUIT SIMULATION WITH DECISION DIAGRAMS (HB)
ENHANCED VIRTUAL PROTOTYPING
ENHANCED VIRTUAL PROTOTYPING (HB)
ENHANCED VIRTUAL PROTOTYPING FOR HETEROGENEOUS SYSTEMS (HB)
EVOLUTIONARY ALGORITHMS FOR EMBEDDED SYSTEM DESIGN (HB)
EVOLUTIONARY ALGORITHMS FOR EMBEDDED SYSTEM DESIGN (PB)
EVOLUTIONARY ALGORITHMS FOR VLSI CAD (HB)
EVOLUTIONARY ALGORITHMS FOR VLSI CAD (PB)
EXACT DESIGN OF DIGITAL MICROFLUIDIC BIOCHIPS (HB)
EXACT DESIGN OF DIGITAL MICROFLUIDIC BIOCHIPS (PB)
FORMAL MODELING AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS (PB)
FORMAL SPECIFICATION LEVEL (HB)
FORMAL SPECIFICATION LEVEL (PB)
FORMAL SYSTEM VERIFICATION (HB)
FORMAL VERIFICATION OF CIRCUITS (HB)
FORMAL VERIFICATION OF CIRCUITS (PB)
FORMAL VERIFICATION OF STRUCTURALLY COMPLEX MULTIPLIERS
FORMAL VERIFICATION OF STRUCTURALLY COMPLEX MULTIPLIERS (HB)
GRAPHENBASIERTE FUNKTIONSDARSTELLUNG
HIGH PERFORMANCE SIMULATION FOR INDUSTRIAL PAINT SHOP APPLICATIONS
HIGH PERFORMANCE SIMULATION FOR INDUSTRIAL PAINT SHOP APPLICATIONS (HB)
HIGH QUALITY TEST PATTERN GENERATION AND BOOLEAN SATISFIABILITY (HB)
HIGH QUALITY TEST PATTERN GENERATION AND BOOLEAN SATISFIABILITY (PB)
IN-MEMORY COMPUTING (HB)
INTRODUCING DESIGN AUTOMATION FOR QUANTUM COMPUTING
INTRODUCING DESIGN AUTOMATION FOR QUANTUM COMPUTING (HB)
INTRODUCTION TO REVERSIBLE AND QUANTUM CIRCUITS (HB)
LANGUAGES, DESIGN METHODS, AND TOOLS FOR (PB)
LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN (HB)
LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN (HB)
METHODEN UND BESCHREIBUNGSSPRACHEN ZUR MODELLIERUNG UND VERIFIKATION VON SCHALTUNGEN UND SYSTEMEN (PB)
NOCH ANALOG ODER LEBST DU SCHON?
QUALITY-DRIVEN SYSTEMC DESIGN (HB)
QUALITY-DRIVEN SYSTEMC DESIGN (PB)
REVERSIBLE AND QUANTUM CIRCUITS (HB)
REVERSIBLE COMPUTATION (PB)
ROBUSTNESS AND USABILITY IN MODERN DESIGN FLOWS (HB)
ROBUSTNESS AND USABILITY IN MODERN DESIGN FLOWS (PB)
SPECTRAL TECHNIQUES IN VLSI CAD (HB)
SPECTRAL TECHNIQUES IN VLSI CAD (PB)
TEST PATTERN GENERATION USING BOOLEAN PROOF ENGINES (HB)
TEST PATTERN GENERATION USING BOOLEAN PROOF ENGINES (PB)
TOWARDS A DESIGN FLOW FOR REVERSIBLE LOGIC (HB)
TOWARDS ONE-PASS SYNTHESIS (HB)
TOWARDS ONE-PASS SYNTHESIS (HB)
TOWARDS ONE-PASS SYNTHESIS (PB)
TOWARDS ONE-PASS SYNTHESIS (PB)

TOP SELLERS IN THIS CATEGORY
Beginner''s Guide to Reading Schematics, Fourth Edition (Paperback / softback)
McGraw-Hill Education
Our Price : £16.19
more details
Book of Making 2025 (Paperback / softback)
Raspberry Pi Press
Our Price : £15.29
more details
Design an RP2040 Board with KiCad (Paperback / softback)
Raspberry Pi Press
Our Price : £13.49
more details
Make: Electronics, 3e (Paperback / softback)
O''Reilly Media, Inc, USA
Our Price : £20.43
more details
Circuitbuilding Do-it-Yourself For Dummies (Paperback)
John Wiley and Sons Ltd
Our Price : £14.59
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 TECHNOLOGY, ENGINEERING, AGRICULTURE, VETERINARY SCIENCE
 electronics & communications engineering
 electronics engineering
 circuits & components


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket