Close

Organization

<
Xidian University
Presentations
Research Manuscript
Parallel Combinational Equivalence Checking Through Factored Form Sharing
11:42am - 11:54am PDT Wednesday, July 29 Mtg Room 202AB
EDA
EDA2. Design Verification and Validation
Research Manuscript
TOB-Sched: Topological Order Balancing-Driven Static Scheduling for Processor-Based Emulation
4:30pm - 4:42pm PDT Monday, July 27 Mtg Room 201B
EDA
EDA2. Design Verification and Validation
Contributors
shunyang bi
qiwang Chen
Zhenhua Duan
Cong Li
Nanjiang Qu
zhengguang tang
Cong Tian
Haonan Wu
Hailong You
Nan Zhang