Conference Program    Technical Session

WEDNESDAY, July 26, 2006, 2:00 PM - 4:00 PM | Room: 303
TOPIC AREA:  SYNTHESIS AND FPGA


   SESSION 32
  Logic Synthesis 1
  Chair: Davide Pandini - STMicroelectronics, Milano, Italy
  Organizers: James Hoe, Rajeev Murgai

  This session presents new ideas in combinational logic synthesis. It offers a fresh look at classical topics such as symmetry detection, boolean matching, and rewriting-based logic optimization. It also visits emerging areas such as gate sizing for finFETs and technology mapping for leakage current.

  32.1   Symmetry Detection for Large Boolean Functions Using Circuit Representation, Simulation and Satisfiability
  Speaker(s): Jin S. Zhang - Portland State Univ., Portland, OR
  Author(s): Jin S. Zhang - Portland State Univ., Portland, OR
Alan Mishchenko - Univ. of California, Berkeley, CA
Robert Brayton - Univ. of California, Berkeley, CA
Malgorzata Chrzanowska-Jeske - Portland State Univ., Portland, OR
  32.2  Exploiting K-Distance Signature for Boolean Matching and G-Symmetry Detection
  Speaker(s): Kuo-Hua Wang - Fu Jen Catholic Univ., Taipei, Taiwan
  Author(s): Kuo-Hua Wang - Fu Jen Catholic Univ., Taipei, Taiwan
  32.3  Gain-Based Technology Mapping for Minimum Runtime Leakage under Input Vector Uncertainty
  Speaker(s): Ashish K. Singh - Univ. of Texas, Austin, TX
  Author(s): Ashish K. Singh - Univ. of Texas, Austin, TX
Murari Mani - Univ. of Texas, Austin, TX
Ruchir Puri - IBM Corp., Yorktown Heights, NY
Michael Orshansky - Univ. of Texas, Austin, TX
  32.4s  Gate Sizing for FinFETs vs 32nm Bulk MOSFETS
  Speaker(s): Brian G. Swahn - Tufts Univ., Medford, MA
  Author(s): Brian G. Swahn - Tufts Univ., Medford, MA
Soha Hassoun - Tufts Univ., Medford, MA
  32.5s  DAG-Aware AIG Rewriting: A Fresh Look at Combinational Logic Synthesis
  Speaker(s): Alan Mishchenko - Univ. of California, Berkeley, CA
  Author(s): Alan Mishchenko - Univ. of California, Berkeley, CA
Satrajit Chatterjee - Univ. of California, Berkeley, CA
Robert K. Brayton - Univ. of California, Berkeley, CA