Close
 

Organization

The Hong Kong University of Science and Technology (Guangzhou)
Presenters
Yuzhe Ma
Yikang Ouyang
Hongce Zhang
Dongsheng Zuo
Session Chairs
Yangdi LYU
Presentations
Work-in-Progress Poster
NeuroPDR: Integrating Neural Networks in PDR Algorithm for Hardware Model Checking
AI
Autonomous Systems
Cloud
Design
EDA
Embedded Systems
RISC-V
Security
Research Manuscript
OpenDRC: An Efficient Open-Source Design Rule Checking Engine with Hierarchical GPU Acceleration
EDA
Physical Design and Verification
Research Manuscript
Physics-Informed Optical Kernel Regression Using Complex-valued Neural Fields
EDA
Design for Manufacturing and Reliability
Research Manuscript
RL-MUL: Multiplier Design Optimization with Deep Reinforcement Learning
EDA
RTL/Logic Level and High-level Synthesis
Sessions
Research Manuscript
Testing, Then Jumping into the Deep (Learning) End
EDA
Design Verification and Validation