The Synthesis Approach to Digital System Design

  • Petra Michel
  • Ulrich Lauther
  • Peter Duzy

Table of contents

  1. Front Matter
    Pages i-xv
  2. Ulrich Lauther
    Pages 1-14
  3. Michael Pilsl
    Pages 39-70
  4. Anton Langmaier
    Pages 71-86
  5. Harald Vollmer, Norbert Wehn
    Pages 87-114
  6. Sabine März
    Pages 115-219
  7. Wolfgang Glunz, Andreas Pyttel, Gerd Venzl
    Pages 221-260
  8. Holger Busch, Hans Nusser, Torsten Rössel
    Pages 261-301
  9. Franz J. Rammig
    Pages 303-333
  10. Jean Armaos, Wolfgang Glunz
    Pages 335-372
  11. Back Matter
    Pages 373-415

About this book


Over the past decade there has been a dramatic change in the role played by design automation for electronic systems. Ten years ago, integrated circuit (IC) designers were content to use the computer for circuit, logic, and limited amounts of high-level simulation, as well as for capturing the digitized mask layouts used for IC manufacture. The tools were only aids to design-the designer could always find a way to implement the chip or board manually if the tools failed or if they did not give acceptable results. Today, however, design technology plays an indispensable role in the design ofelectronic systems and is critical to achieving time-to-market, cost, and performance targets. In less than ten years, designers have come to rely on automatic or semi­ automatic CAD systems for the physical design ofcomplex ICs containing over a million transistors. In the past three years, practical logic synthesis systems that take into account both cost and performance have become a commercial reality and many designers have already relinquished control ofthe logic netlist level of design to automatic computer aids. To date, only in certain well-defined areas, especially digital signal process­ ing and telecommunications. have higher-level design methods and tools found significant success. However, the forces of time-to-market and growing system complexity will demand the broad-based adoption of high-level, automated methods and tools over the next few years.


Hardware Potential algorithms design methods formal method formal methods simulation testing

Editors and affiliations

  • Petra Michel
    • 1
  • Ulrich Lauther
    • 1
  • Peter Duzy
    • 1
  1. 1.Siemens AGGermany

Bibliographic information

  • DOI
  • Copyright Information Kluwer Academic Publishers 1992
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-6615-7
  • Online ISBN 978-1-4615-3632-1
  • Series Print ISSN 0893-3405
  • Buy this book on publisher's site