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 ONE-PASS SYNTHESIS
By: Rolf Drechsler, Wolfgang Gunther
Format: Hardback

List price: £99.99


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

ISBN 10: 1402070446
ISBN 13: 9781402070440
Publisher: SPRINGER-VERLAG NEW YORK INC.
Pub. date: 31 May, 2002
Edition: 2002 ed.
Pages: 182
Description: Describes the paradigm that is used in one-pass synthesis. This book discusses the theoretical and practical aspects and gives minimization algorithms.
Synopsis: The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the complete process was too complex, it has been split up in several - more or less independen- phases. In the last 40 years powerful algorithms have been developed to find optimal solutions for each of these steps. However, the interaction of these different algorithms has not been considered for a long time. This leads to quality loss e. g. in cases where highly optimized netlists fit badly onto the target architecture. Since the resulting circuits are often far from being optimal and insufficient regarding the optimization criteria, like area and delay, several iterations of the complete design process have to be carried out to get high quality results. This is a very time consuming and costly process. For this reason, some years ago the idea of one-pass synthesis came up. There were two main approaches how to guarantee that a design got "first time right" : 1. Combining levels that were split before, e. g. to use layout information already during the logic synthesis phase. 2. Restricting the optimization in one level such that it better fits to the next one. So far, several approaches in these two directions have been presented and new techniques are under development. In this book we describe the new paradigm that is used in one-pass synthesis and present examples for the two techniques above.
Illustrations: X, 182 p.
Publication: US
Imprint: Springer-Verlag New York Inc.
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)
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)
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 QUALITY TEST PATTERN GENERATION AND BOOLEAN SATISFIABILITY (HB)
HIGH QUALITY TEST PATTERN GENERATION AND BOOLEAN SATISFIABILITY (PB)
IN-MEMORY 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)
METHODEN UND BESCHREIBUNGSSPRACHEN ZUR MODELLIERUNG UND VERIFIKATION VON SCHALTUNGEN UND SYSTEMEN (PB)
MILET (HB)
NOCH ANALOG ODER LEBST DU SCHON?
QUALITY-DRIVEN SYSTEMC DESIGN (HB)
QUALITY-DRIVEN SYSTEMC DESIGN (PB)
REVERSIBLE AND QUANTUM CIRCUITS (HB)
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)
STAATLICHE STUTZUNG DER TARIFPOLITIK
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 A DESIGN FLOW FOR REVERSIBLE LOGIC (PB)
TOWARDS ONE-PASS SYNTHESIS (HB)
TOWARDS ONE-PASS SYNTHESIS (PB)
TOWARDS ONE-PASS SYNTHESIS (PB)

TOP SELLERS IN THIS CATEGORY
OCR AS and A Level Computer Science (Paperback)
PG Online Limited
Our Price : £32.30
more details
BTEC First in I&CT Revision Workbook (Paperback)
By:
Pearson Education Limited
Our Price : £5.54
more details
Algorithms to Live By (Paperback)
HarperCollins Publishers
Our Price : £8.02
more details
Quantum Computation and Quantum Information (Hardback)
Cambridge University Press
Our Price : £53.99
more details
AQA AS and A Level Computer Science (Paperback)
PG Online Limited
Our Price : £32.30
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 general theory of computing


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