Close

Organization

University of Maryland, College Park
Contributors
Bahar Asgari
Ubaid Bakhtiar
Chen Chen
Qihao Hu
Donghyeon Joo
Ang Li
Gang Qu
Zhan Song
Ankur Srivastava
Jiaqi Yin
Cunxi Yu
Presentations
Research Manuscript
BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation*
3:30pm - 3:45pm PDT Tuesday, June 24 3006, Level 3
EDA
EDA5: RTL/Logic Level and High-level Synthesis
Networking
Work-in-Progress Poster
CPCRFUZZ：Critical Path and Control Register Directed Fuzzing for Hardware Vulnerability
6:00pm - 7:00pm PDT Monday, June 23 Level 2 Lobby
Research Manuscript
E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis
3:45pm - 4:00pm PDT Tuesday, June 24 3006, Level 3
EDA
EDA5: RTL/Logic Level and High-level Synthesis
Tutorial
Introduction to Foundation AI Model and Its EDA Applications
1:30pm - 5:00pm PDT Sunday, June 22 3004, Level 3
Sunday Program
Engineering Special Session
Keeping the Guard Up with Security across the Board
1:30pm - 3:00pm PDT Wednesday, June 25 2010, Level 2
Back-End Design
Research Manuscript
Pipirima: Predicting Patterns in Sparsity to Accelerate Matrix Algebra
3:30pm - 3:45pm PDT Monday, June 23 3003, Level 3
Design
DES3: Emerging Models of ComputatioN
Networking
Work-in-Progress Poster
ReVEAL: Reverse Engineering of Multiplier Architectures via Graph Learning for Computer Algebra Verification
6:00pm - 7:00pm PDT Sunday, June 22 Level 3 Lobby