Session
The Long Wave of Logic Synthesis: Old Challenges, New Solutions
Session Chairs
Event TypeResearch Manuscript
RTL/Logic Level and High-level Synthesis
EDA
TimeTuesday, July 12th3:30pm - 5:30pm PDT
Location3007, Level 3
DescriptionLogic synthesis is one of the most important steps in chip design: yet too complex and expensive. This session provides new solutions to such old challenges. The first proposes an iterative flow for logic synthesis, while the second aims at using LUT-based optimization for ASIC synthesis. The third paper shifts the focus on the long runtimes, proposing to accelerate logic rewriting with GPUs. The next two papers provide techniques to optimize approximate logic synthesis. The sixth paper provides a solution to insert buffer and slitter cells for the new adiabatic quantum-flux parametron (AQFP) technology.
Presentations
3:30pm - 3:50pm PDT | HIMap: A Heuristic and Iterative Logic Synthesis Approach | |
3:50pm - 4:10pm PDT | Improving LUT-Based Optimization for ASIC | |
4:10pm - 4:30pm PDT | NovelRewrite: Node-Level Parallel AIG Rewriting | |
4:30pm - 4:50pm PDT | Search Space Characterization for Approximate Logic Synthesis | |
4:50pm - 5:10pm PDT | SEALS: Sensitivity-driven Efficient Approximate Logic Synthesis | |
5:10pm - 5:30pm PDT | Beyond Local Optimality of Buffer and Splitter Insertion for AQFP Circuits |