Visit OneSpin at DAC 2018, Booth 2611
Stop by and see the OneSpin team at the 55th Design Automation Conference (DAC), June 24–28 at Moscone Center West in San Francisco, California.
We can’t wait to show you what we’ve been working on, particularly in the safety-critical space. Join us in our exhibit booth (#2611) to discover how our formal verification solutions can help you to annihilate bugs, shorten design time, and meet your coverage goals. Book a meeting now or stop by at your convenience to see a demo by our expert AE team.
Presentations & Panels
OneSpin’s experts will share their knowledge and insight throughout DAC. Don’t miss the following events:
Tuesday, June 26 | 3:30–5:00 PM | Room 2008
IP Track | Session 35.3 | New Challenges for IP and VIP to Support Emerging Application or Algorithm
John Hallman from MacAulay-Brown and Muhammad H. Khan from OneSpin show how to detect genuine and malicious errors in FPGAs through the application of formal sequential equivalence checking for the verification of RTL, netlist, and bitstream files.
Designer/IP Special, One-Day, Two-Day, or Conference registration required.
Daily, Monday, June 25 to Wednesday, June 27 | OneSpin Booth 2611
Sanjay Pillay, CEO of Austemper Design, a OneSpin partner, and Jorg Grosse, OneSpin's Product Manager Functional Safety, take a deep dive on safety-critical hardware. This hands-on, technical presentation demonstrates an end-to-end flow for the automatic insertion, analysis, and verification of hardware safety mechanisms at the RTL and netlist level. The presentation lasts 30 minutes and will be followed by an open Q&A session. Don't miss this opportunity to chat with two of the most accomplished safety experts in the EDA industry.
This session is free to attend, but space is extremely limited. Advance registration is required.
Tuesday, June 26 | 2:15–2:45 PM | DAC Pavilion - Booth 2161
Vista Ventures' Jim Hogan, board director at OneSpin, moderates a panel on blockchain and its application to cybersecurity and data protection. Can blockchain technology deliver on its promise to establish a new, trusted framework for existing business models and secure scaling of the Internet of Things? What are the challenges?
Open to all DAC attendees.
OneSpin DAC Parties
At OneSpin, we work smart so that we can play hard. After long days on the DAC exhibit floor, we’re looking forward to unwinding at two great social gatherings. Hope to see you there!
Monday, June 25, 2018 | 8:00 PM–Midnight | Golden Gate Tap Room, 2nd Floor | 449 Powell Street, San Francisco, CA 84102
OneSpin is again teaming up with partners and industry friends to present Verified, a celebration of the verification ecosystem at the 55th Design Automation Conference. This exclusive, invitation-only event will feature live music and dancing, vintage arcade and table games, top shelf open bar, hearty pub-style snacks, and a quirky San Francisco vibe.
Sunday, June 24 | 7:30–10:30 PM | Moscone Center West, 3rd Floor Mezzanine
Heart of Technology's annual event is always a great time with a great cause. OneSpin is proud to sponsor this year’s party, which benefits the Gary Smith Memorial Scholarship Endowment at San Jose State University. This year's event gets underway immediately following the DAC Opening Reception. All DAC attendees are welcome and are encouraged to make a tax-deductible donation toward this year's fundraising goal of $55,000 in support of scholarships for foster youth to attend college. Learn more on the HOT 55 crowdfunding page.