Wednesday, June 12, 2002, 2:00 PM - 4:00 PM | Room: 292

SESSION 28
  Advances in Synthesis
  Chair: Marek Perkowski - Portland State Univ., Portland, OR
  Organizers: Soha M Hassoun, Yusuke Matsunaga

  This section presents advances to the state-of-the-art in three non-mainstream areas which show promise for the future. The first paper presents a powerful backend optimizer for a leading asynchronous CAD tool which can be applied to large design examples (e.g. microprocessors). The second and third papers focus on the integration of asynchronous design with a commercial CAD tool flow. The fourth paper contributes a novel set of optimizing transformations for quantum Boolean circuits. The fifth paper significantly improves runtimes in SPP (sum of pseudo-products) minimization.

    28.1
Resynthesis and Peephole Transformations for the Optimization of Large-Scale Asynchronous Systems

  Speaker(s): Tiberiu Chelcea - Columbia Univ., New York, NY
  Author(s): Tiberiu Chelcea - Columbia Univ., New York, NY
Steven M. Nowick - Columbia Univ., New York, NY
    28.2
Design of Asynchronous Circuits by Synchronous CAD Tools
  Speaker(s): Alex Kondratyev - Cadence Design Systems, Inc., Berkeley, CA
  Author(s): Alex Kondratyev - Cadence Design Systems, Inc., Berkeley, CA
Kelwin Lwin - ReShape Inc, Mountain View, CA
    28.3
Implementing Asynchronous Circuits using a Conventional EDA Tool-Flow
  Speaker(s): Christos Sotiriou - FORTH, Heraklion, Crete, Greece
  Author(s): Christos Sotiriou - FORTH, Heraklion, Crete, Greece
    28.4
Transformation Rules for Designing CNOT-Based Quantum Circuits
  Speaker(s): Shigeru Yamashita - NTT Communication Science Lab., Soraku-gun, Japan
  Author(s): Shigeru Yamashita - NTT Communication Science Lab., Soraku-gun, Japan
Kazuo Iwama - Kyoto Univ., Kyoto, Japan
Yahiko Kambayashi - Kyoto Univ., Kyoto, Japan
    28.5
Fast Three-Level Logic Minimization Based on Autosymmetry
  Speaker(s): Valentina Ciriani - Univ. of Pisa, Pisa, Italy
  Author(s): Anna Bernasconi - Univ. of Pisa, Pisa, Italy
Valentina Ciriani - Univ. of Pisa, Pisa, Italy
Fabrizio Luccio - Univ. of Pisa, Pisa, Italy
Linda Pagli - Univ. of Pisa, Pisa, Italy