Close

Organization

<
ARM
Presentations
Work in Progress
A Novel Way to Handle Non-Convergence of Properties in Formal Verification of Digital Systems
5:27pm - 5:28pm PDT Monday, July 27 Exhibit Hall
Engineering Poster
Automated Workload Analysis for Dynamic Voltage Drop Optimization and Faster Power Integrity Signoff in Complex SoC Designs
3:00pm - 4:00pm PDT Wednesday, July 29 DAC Pavilion, Exhibit Floor
AI
Chiplet
Design
EDA
Quantum
Security
Systems
Research Manuscript
BREW-RC: Bit-Exact Recovery of ECCs from Write Timing in ReRAM Crossbars
12:03pm - 12:16pm PDT Tuesday, July 28 Mtg Room 203C
Security
SEC3-II. Hardware Security: Attack and Defense
Engineering Poster
Invariant-Driven Contract-Based Formal Verification for Scalable Compositional Proofs
5:00pm - 6:00pm PDT Monday, July 27 DAC Pavilion, Exhibit Floor
AI
Chiplet
Design
EDA
Quantum
Security
Systems
DAC Pavilion Panel
Is EDA AI Delivering on Its ROI Promise?
4:00pm - 4:45pm PDT Tuesday, July 28 DAC Pavilion, Exhibit Floor
Engineering Presentation
Progress-Based Timeout Debug for Scalable SoC Verification
10:30am - 10:45am PDT Monday, July 27 Seaside Ballroom A
EDA
Engineering Poster
Scalable EMIR Signoff for Very Large SoCs Using Reduced Order Modelling
3:00pm - 4:00pm PDT Wednesday, July 29 DAC Pavilion, Exhibit Floor
AI
Chiplet
Design
EDA
Quantum
Security
Systems
Engineering Poster
Toward an Open Chiplet Ecosystem: Arm® Foundation Chiplet System Architecture
5:00pm - 6:00pm PDT Tuesday, July 28 DAC Pavilion, Exhibit Floor
AI
Chiplet
Design
EDA
Quantum
Security
Systems
Contributors
Shivangi Agrawal
Alric Althoff
Bhupesh Bakshi
Rohit Gupta
Nirmal Jose
Hemanth Karnati
Vikash Kumar
Priyanshu M
kishan mushar
Ram Narayan
Mohammed Yousuff Shariff
surinder sood