Close

Presenter

<
Anshul Jain
Synopsys
Presentations
Engineering Poster
Fair Play in the Multiplex: Formal Verification of Complex Arbmux Designs
3:00pm - 4:00pm PDT Wednesday, July 29 DAC Pavilion, Exhibit Floor
AI
Chiplet
Design
EDA
Quantum
Security
Systems
Engineering Poster Gladiator
Outsmarting State Space Complexity Through Proven Reset Abstraction Stratergies
5:37pm - 5:45pm PDT Monday, July 27 DAC Pavilion, Exhibit Floor
AI
Chiplet
Design
EDA
Quantum
Security
Systems
Engineering Presentation
No Credit Where Credit Is Due: Quiesced Formal Check for PCIe Crediting
10:45am - 11:00am PDT Tuesday, July 28 Seaside Ballroom B
Design
EDA
Systems
Engineering Presentation
Weeding Out Timing Gaps and Improving Performance of DDR Controllers Using Formal Verification
4:00pm - 4:15pm PDT Tuesday, July 28 Seaside Ballroom A
Design
EDA