Close

Organization

<
Institute of Software, Chinese Academy of Sciences
Presentations
Research Manuscript
Dropping Multiple Literals per SAT Call in IC3 Model Checking
10:54am - 11:06am PDT Wednesday, July 29 Mtg Room 202AB
EDA
EDA2. Design Verification and Validation
Research Manuscript
Fast Template Matching for Quantum Circuits Using Hypergraph
1:55pm - 2:08pm PDT Wednesday, July 29 Mtg Room 201B
Design
Quantum
DES6. Quantum Computing
Research Manuscript
Lin-Search: Scaling Exact Synthesis of CNOT Circuits via Hybrid Iterative Deepening Search
1:42pm - 1:55pm PDT Wednesday, July 29 Mtg Room 201B
Design
Quantum
DES6. Quantum Computing
Research Manuscript
LLM-Enhanced Two-Stage Signal Temporal Logic Automatic Transformation with Structured Intermediate Representation
11:36am - 11:50am PDT Tuesday, July 28 Mtg Room 202C
Systems
SYS2. Design of Cyber-Physical Systems and IoT
Work in Progress
Trace and Chase: Empowering LLMs to Identify the Root Cause of Test Failures in RISC-V SoCs via Textualized Waveform
6:50pm - 6:51pm PDT Monday, July 27 Exhibit Hall
Contributors
Jie An
Tianjun Bu
Ji Guan
Runhong He
Xin Hong
Chenjian Li
Xiang Ling
Tianyue Luo
Zhichao Lyu
Zhiqing Rui
Jingzheng Wu
Fanjiang Xu
Qiusong Yang
Shenggang Ying
Chen Zhao