DAC 2018 - Speakers/Authors

Vincent Abikhattar

Agenda
- 42.4 - Fight Fire with Formal Verification

Homayoon Akhiani

NVIDIA Corporation

Agenda
- Session 42: Novel Applications of Formal Verification

Puneet Anand

Staff Engineer at Qualcomm

San Diego California UNITED STATES

Agenda
- 42.5 - Formal Signoff Meets Real-world Tapeout Schedules

Laurent Arditi

Agenda
- 42.4 - Fight Fire with Formal Verification

Xiushan Feng

Jing Gao

Shintaro Imamura

Yong Liu

Rachna Nambiar Jain

Olivier Ponsini

Venkatraman Ramakrishnan

Texas Instruments

Sudhakar Surendran

Texas Instruments India Pvt. Ltd.

Tadaaki Tanimoto

Li You

Wayne Yun