Towards One-Pass Synthesis

Towards One-Pass Synthesis
Author: Rolf Drechsler
Publisher: Springer Science & Business Media
Total Pages: 182
Release: 2013-03-14
Genre: Computers
ISBN: 1475735960

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.

Design Automation for Field-coupled Nanotechnologies

Design Automation for Field-coupled Nanotechnologies
Author: Marcel Walter
Publisher: Springer Nature
Total Pages: 201
Release: 2022-01-10
Genre: Technology & Engineering
ISBN: 3030899527

This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) technologies, in order to enable large-scale composition of elementary building blocks, that obtain correct systems from given function specifications. To this end, a holistic design flow is described, which covers exact and scalable placement & routing, one-pass logic synthesis, novel clocking mechanisms for data synchronization, and formal verification for obtained circuit layouts. Additionally, theoretical groundwork is presented that lays the foundation for any algorithmic consideration in the future. Furthermore, an open-source FCN design framework called fiction, which contains implementations of all proposed techniques, is presented and made publicly available. The approaches discussed in this book address obstacles that have existed since the conceptualization of the FCN paradigm and could not be resolved since then. As a result, this book substantially advances the state of the art in design automation for FCN technologies.

Design Automation for Field-coupled Nanotechnologies

Design Automation for Field-coupled Nanotechnologies
Author: Marcel Walter
Publisher:
Total Pages: 0
Release: 2022
Genre:
ISBN: 9783030899530

This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) technologies, in order to enable large-scale composition of elementary building blocks, that obtain correct systems from given function specifications. To this end, a holistic design flow is described, which covers exact and scalable placement & routing, one-pass logic synthesis, novel clocking mechanisms for data synchronization, and formal verification for obtained circuit layouts. Additionally, theoretical groundwork is presented that lays the foundation for any algorithmic consideration in the future. Furthermore, an open-source FCN design framework called fiction, which contains implementations of all proposed techniques, is presented and made publicly available. The approaches discussed in this book address obstacles that have existed since the conceptualization of the FCN paradigm and could not be resolved since then. As a result, this book substantially advances the state of the art in design automation for FCN technologies. • Provides readers with an extensive introduction to the field of Design Automation for Field-coupled Nanocomputing (FCN); • Discusses the latest developments in synthesis, placement, routing, clocking, and verification of FCN technologies; • Presents an open-source FCN design framework that contains implementations of all described algorithms.

Advanced ASIC Chip Synthesis

Advanced ASIC Chip Synthesis
Author: Himanshu Bhatnagar
Publisher: Springer Science & Business Media
Total Pages: 341
Release: 2007-05-08
Genre: Technology & Engineering
ISBN: 0306475073

Advanced ASIC Chip Synthesis: Using Synopsys® Design Compiler® Physical Compiler® and PrimeTime®, Second Edition describes the advanced concepts and techniques used towards ASIC chip synthesis, physical synthesis, formal verification and static timing analysis, using the Synopsys suite of tools. In addition, the entire ASIC design flow methodology targeted for VDSM (Very-Deep-Sub-Micron) technologies is covered in detail. The emphasis of this book is on real-time application of Synopsys tools, used to combat various problems seen at VDSM geometries. Readers will be exposed to an effective design methodology for handling complex, sub-micron ASIC designs. Significance is placed on HDL coding styles, synthesis and optimization, dynamic simulation, formal verification, DFT scan insertion, links to layout, physical synthesis, and static timing analysis. At each step, problems related to each phase of the design flow are identified, with solutions and work-around described in detail. In addition, crucial issues related to layout, which includes clock tree synthesis and back-end integration (links to layout) are also discussed at length. Furthermore, the book contains in-depth discussions on the basis of Synopsys technology libraries and HDL coding styles, targeted towards optimal synthesis solution. Target audiences for this book are practicing ASIC design engineers and masters level students undertaking advanced VLSI courses on ASIC chip design and DFT techniques.

BiCMOS Technology and Applications

BiCMOS Technology and Applications
Author: Antonio R. Alvarez
Publisher: Springer Science & Business Media
Total Pages: 412
Release: 2012-12-06
Genre: Technology & Engineering
ISBN: 1461532183

BiCMOS Technology and Applications, Second Edition provides a synthesis of available knowledge about the combination of bipolar and MOS transistors in a common integrated circuit - BiCMOS. In this new edition all chapters have been updated and completely new chapters on emerging topics have been added. In addition, BiCMOS Technology and Applications, Second Edition provides the reader with a knowledge of either CMOS or Bipolar technology/design a reference with which they can make educated decisions regarding the viability of BiCMOS in their own application. BiCMOS Technology and Applications, Second Edition is vital reading for practicing integrated circuit engineers as well as technical managers trying to evaluate business issues related to BiCMOS. As a textbook, this book is also appropriate at the graduate level for a special topics course in BiCMOS. A general knowledge in device physics, processing and circuit design is assumed. Given the division of the book, it lends itself well to a two-part course; one on technology and one on design. This will provide advanced students with a good understanding of tradeoffs between bipolar and MOS devices and circuits.

VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and Reliability

VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and Reliability
Author: Thomas Hollstein
Publisher: Springer
Total Pages: 247
Release: 2017-08-31
Genre: Computers
ISBN: 3319671049

This book contains extended and revised versions of the best papers presented at the 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, held in Tallinn, Estonia, in September 2016. The 11 papers included in the book were carefully reviewed and selected from the 36 full papers presented at the conference. The papers cover a wide range of topics in VLSI technology and advanced research. They address the latest scientific and industrial results and developments as well as future trends in the field of System-on-Chip (SoC) Design.

High-level Synthesis

High-level Synthesis
Author: Michael Fingeroff
Publisher: Xlibris Corporation
Total Pages: 334
Release: 2010
Genre: Computers
ISBN: 1450097243

Are you an RTL or system designer that is currently using, moving, or planning to move to an HLS design environment? Finally, a comprehensive guide for designing hardware using C++ is here. Michael Fingeroff's High-Level Synthesis Blue Book presents the most effective C++ synthesis coding style for achieving high quality RTL. Master a totally new design methodology for coding increasingly complex designs! This book provides a step-by-step approach to using C++ as a hardware design language, including an introduction to the basics of HLS using concepts familiar to RTL designers. Each chapter provides easy-to-understand C++ examples, along with hardware and timing diagrams where appropriate. The book progresses from simple concepts such as sequential logic design to more complicated topics such as memory architecture and hierarchical sub-system design. Later chapters bring together many of the earlier HLS design concepts through their application in simplified design examples. These examples illustrate the fundamental principles behind C++ hardware design, which will translate to much larger designs. Although this book focuses primarily on C and C++ to present the basics of C++ synthesis, all of the concepts are equally applicable to SystemC when describing the core algorithmic part of a design. On completion of this book, readers should be well on their way to becoming experts in high-level synthesis.

Microporous and Mesoporous Solid Catalysts

Microporous and Mesoporous Solid Catalysts
Author: Eric G. Derouane
Publisher: John Wiley & Sons
Total Pages: 258
Release: 2006-08-14
Genre: Science
ISBN: 9780470094204

This series offers practical help for advanced undergraduate, graduate and postgraduate students, as well as experienced chemists in industry and academia working with catalysts in organic and organometallic synthesis. It features tested and validated procedures, authoritative reviews on classes of catalysts, and assessments of all types of catalysts. Micro- and Mesoporous Solid Catalysts describes the use of zeolites and mesoporous solids as catalysts for the production of fine and specialty chemicals. Specific tips and hints are provided and some typical procedures are described in detail In addition to discussing the pros and cons, several major organic transformations are examined including aromatic substitutions, heterocyclic ring formation, amines synthesis, oligomerisation, oxidation and hydroxylation, and other regioselective and stereoselective reactions Features tutorial introductory chapters, including tips and hints for achieving successful organic transformations Important reactions are featured together with recommendations to resolve potential problems.

Logic and Architecture Synthesis

Logic and Architecture Synthesis
Author: Gabriele Saucier
Publisher: Springer
Total Pages: 381
Release: 2016-01-09
Genre: Technology & Engineering
ISBN: 0387349200

This book describes several methods and systems solving one of the highlighted problems within computer aided design, namely architectural and logic synthesis. The book emphasises the most recent technologies in high level synthesis, concentrating on applicative studies and practical constraints or criteria during synthesis. Logic and Architecture Synthesis concentrates on the practical problems involving automatic synthesis of designs. It is essential reading for researchers and CAD Managers working in this area.