As summer winds down and football season starts up, it's time once again for another DVClub lunch. As always, this is a free catered lunch with plenty of opportunity to learn about what's going on in the local verification community. Come catch up with old friends and colleagues, meet new friends, and network with others in the industry. Special thanks once again to our DVClub Sponsors for making this event possible.

This time around we have a double-feature from our friends at ARM, who have been extremely busy doing awesome things. First up we have Vikram Khosa presenting "Deep-Formal Deployment on an A-class ARM CPU Family : An Overview and Lessons Learned!" Next we have his colleague Vaibhav Agrawal speaking about "Two Case Studies in Formal Deployment on ARM CPUs: Instruction-Fetch and Floating Path Datapath"

This will be another awesome event, we look forward to seeing you there!

Norris Conference Center
2525 W Anderson Ln #365
Austin, TX 78757
Wednesday, Sep. 13, 2017 from 11:30 AM to 1:30 PM (CST)
View Map

Agenda

11:30am Doors Open / Networking
12:00pm

Lunch and Feature Presentations

  • Vikram Khosa - "Deep-Formal Deployment on an A-class ARM CPU Family : An Overview and Lessons Learned!"
  • Vaibhav Agrawal - "Two Case Studies in Formal Deployment on ARM CPUs: Instruction-Fetch and Floating Path Datapath"
1:00 pm

Networking

Registration Now Open - Click to RSVP

DVClub Home SV 2017.10.11

jumping man excited

Save these dates!