 |
 |
 |
 |
 |
 |
 |
|
|
|
| WEDNESDAY, June 15, 2005, 10:30 AM - 12:00 PM | Room: 209AB | ||
|
TOPIC AREA: LOGIC DESIGN AND TEST (tools) | ||
| SESSION 24 | |||
| Methods and Representations for Logic Synthesis | |||
| Chair: Iris Bahar - Brown Univ., Providence, RI | |||
| Organizers: James Hoe, Marek Perkowski | |||
| This session presents three papers addressing classical logic synthesis issues. The first paper introduces a new representation for multiple-output, incompletely specified functions. The representation, called binary-decision diagrams for characteristic functions (BDD_for_CF), is applied to efficiently decompose a function to lookup-table cascades. The second paper proposes an efficient and compact canonical form for Boolean matching under permutation and complementation of variables. The third paper investigates the design space of branch-and-bound algorithms. The paper results in two efficient algorithms for unate and binate covering and applies them to find exact solutions to three previously unsolved ESPRESSO benchmarks. | |||
 24.1 |
BDD Representation for Incompletely Specified Multiple-Output Logic Functions and Its Applications to Functional Decomposition |
||
| Speaker(s): | Tsutomu Sasao - Kyushu Institute of Tech., Iizuka, Japan | ||
| Author(s): | Tsutomu Sasao - Kyushu Institute of Tech., Iizuka, Japan Munehiro Matsuura - Kyushu Institute of Tech., Iizuka, Japan | ||
| 24.2 | A New Canonical Form for Fast Boolean Matching in Logic Synthesis and Verification | ||
| Speaker(s): | Afshin Abdollahi - Univ. of Southern California, Los Angeles, CA | ||
| Author(s): | Afshin Abdollahi - Univ. of Southern California, Los Angeles, CA Massoud Pedram - Univ. of Southern California, Los Angeles, CA | ||
| 24.3 | Effective Bounding Techniques For Solving Unate and Binate Covering Problems | ||
| Speaker(s): | Xiao Yu Li - North Carolina State Univ., Raleigh, NC | ||
| Author(s): | Xiao Yu Li - North Carolina State Univ., Raleigh, NC Matthias F. Stallmann - North Carolina State Univ., Raleigh, NC Franc Brglez - North Carolina State Univ., Raleigh, NC | ||
 | |||