Representations of Discrete Functions

  • Tsutomu Sasao
  • Masahiro Fujita

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Radomir S. Stanković, Tsutomu Sasao, Claudio Moraga
    Pages 55-92
  3. Edmund M. Clarke, Masahiro Fujita, Xudong Zhao
    Pages 93-108
  4. Sarma B. K. Vrudhula, Massoud Pedram, Yung-Te Lai
    Pages 109-132
  5. Jawahar Jain
    Pages 133-161
  6. Rolf Drechsler, Bernd Becker
    Pages 163-190
  7. Tsutomu Sasao, Fumitaka Izuhara
    Pages 191-210
  8. Jörg Bullmann, Udo Kebschull
    Pages 211-232
  9. Ralph Werchner, Thilo Harich, Rolf Drechsler, Bernd Becker
    Pages 233-248
  10. Beate Bollig, Martin Löbbing, Martin Sauerhoff, Ingo Wegener
    Pages 249-268
  11. Tsutomu Sasao
    Pages 293-310
  12. Back Matter
    Pages 311-331

About this book

Introduction

Representations of Discrete Functions is an edited volume containing 13 chapter contributions from leading researchers with a focus on the latest research results.
The first three chapters are introductions and contain many illustrations to clarify concepts presented in the text. It is recommended that these chapters are read first.
The book then deals with the following topics: binary decision diagrams (BDDs), multi-terminal binary decision diagrams (MTBDDs), edge-valued binary decision diagrams (EVBDDs), functional decision diagrams (FDDs), Kronecker decision diagrams (KDDs), binary moment diagrams (BMDs), spectral transform decision diagrams (STDDs), ternary decision diagrams (TDDs), spectral transformation of logic functions, other transformations oflogic functions, EXOR-based two-level expressions, FPRM minimization with TDDs and MTBDDs, complexity theories on FDDs, multi-level logic synthesis, and complexity of three-level logic networks.
Representations of Discrete Functions is designed for CAD researchers and engineers and will also be of interest to computer scientists who are interested in combinatorial problems.
Exercises prepared by the editors help make this book useful as a graduate level textbook.

Keywords

CAD algorithms complexity computer computer-aided design (CAD) integrated circuit logic

Editors and affiliations

  • Tsutomu Sasao
    • 1
  • Masahiro Fujita
    • 2
  1. 1.Department of Computer Science and ElectronicsKyushu Institute of TechnologyIizukaJapan
  2. 2.Fujitsu Laboratories of America Inc.Santa ClaraUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4613-1385-4
  • Copyright Information Springer-Verlag US 1996
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-8599-1
  • Online ISBN 978-1-4613-1385-4
  • About this book