Close

Presenter

Xindi Zhang
Institute of Software, Chinese Academy of Sciences
Presentations
Research Manuscript
Leveraging Critical Proof Obligations for Efficient IC3 Verification
4:15pm - 4:30pm PDT Wednesday, June 25 3004, Level 3
EDA
EDA2: Design Verification and Validation
Research Manuscript
X-SAT: An Efficient Circuit-Based SAT Solver
3:45pm - 4:00pm PDT Wednesday, June 25 3004, Level 3
EDA
EDA2: Design Verification and Validation
Research Manuscript
Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking
5:15pm - 5:30pm PDT Wednesday, June 25 3003, Level 3
EDA
EDA2: Design Verification and Validation