DVClub Austin – October 13 – Presentations by Jim Crocker of Paradigm Works
Please join us on September 13th at the Norris Conference Center for a catered lunch and networking. We will enjoy two presentations. The first is by Vikram Khosa, and the second is by Vaibhav Agrawal, both of ARM.
- 11:30am—Doors Open / Networking
- 12:00pm—Lunch / Presentation by Vikram Khosa, ARM
- 12:30pm—Presentation by Vaibhav Agrawal, ARM
“Deep-Formal Deployment on an A-class ARM CPU Family : An Overview and Lessons Learned!” by Vikram Khosa, ARM
Jim Crocker reviously memory-system verification
Vaibhav Agrawal is a Validation Engineer at ARM, where he applies formal techniques to verify “Instruction-Fetch” unit, and “Floating-point datapath” units in ARM’s locally designed A-class Cores. Prior to joining ARM, Vaibhav was a design automation engineer at Intel-Austin, where he worked on various aspects of RTL design and validation flows. He has a Masters in EE from UT-Austin, and a B.Tech in EE from Indian Institute of Technology, Delhi.