Close

Organization

<
Institute of Software Chinese Academy of Sciences
Presentations
Research Manuscript
Parallel Combinational Equivalence Checking via Sweeping-Based Task Scheduling
11:30am - 11:42am PDT Wednesday, July 29 Mtg Room 202AB
EDA
EDA2. Design Verification and Validation
Research Manuscript
PRS: An Efficient Parallel SAT Framework
10:42am - 10:54am PDT Wednesday, July 29 Mtg Room 202AB
EDA
EDA2. Design Verification and Validation
Contributors
Shaowei Cai
Shaohuang Chen
Zhihan Chen
Yuhang Qian
Congyi Zhang
Xindi Zhang
MengYu Zhao