Close

Presenter

<
Ramya Hariharan
Intel
Presentations
Engineering Poster
The Pursuit of Golden Specification: Leveraging Architecture Formal
3:00pm - 4:00pm PDT Wednesday, July 29 DAC Pavilion, Exhibit Floor
AI
Chiplet
Design
EDA
Quantum
Security
Systems
Engineering Presentation
Hardening Security of HW IPs by Verifying Their Negative Space Formally
3:30pm - 3:45pm PDT Tuesday, July 28 Seaside Ballroom A
Design
EDA