Close

Organization

Ningbo University
Contributors
Zhufei Chu
Zhang Hu
Lunyao Wang
Yinshui Xia
Presentations
Research Manuscript
Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
5:00pm - 5:15pm PDT Wednesday, June 25 3004, Level 3
EDA
EDA2: Design Verification and Validation
Research Manuscript
Mixed Structural Choice Operator: Enhancing Technology Mapping with Heterogeneous Representations
4:45pm - 5:00pm PDT Tuesday, June 24 3006, Level 3
EDA
EDA5: RTL/Logic Level and High-level Synthesis