close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

DAC 2017 / Austin, Texas
June 18 – 22, 2017

Visit OneSpin at DAC 2017, Booth 1547

Stop by and see the OneSpin team at the 54th Design Automation Conference (DAC), June 18th through 22nd in Austin, Texas.

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 (#1547) 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.


OneSpin is a proud sponsor of the I Love DAC initiative.
Register for your FREE three-day exhibit pass by May 31st.

Presentations & Panels

OneSpin’s experts will share their knowledge and insight throughout DAC. Don’t miss the following events:

Artificial Intelligence & Convolution Neural Networks

Tuesday, June 20 | 3:00 – 3:45 PM | DAC Pavilion

Jim Hogan guides OneSpin CEO Raik Brinkmann and other industry thought leaders through an exploration of artificial intelligence, its applications, and predictions about how it stands poised to change every corner of the tech world.

Requirement Driven Synthesis of UVM Testbench Components

Tuesday, June 20 | 5:00 – 6:00 PM | Exhibit Floor | Designer Track Poster Session 123.24

OneSpin’s Muhammad Haque Khan, Product Specialist Synthesis Verification, partners with representatives from Technical University of Chemnitz, Germany, to present a technical poster around synthesizing a UVM test bench directly from requirements through the use of formal properties expressed as operational assertions. 

Verification Necessity: When is Enough Too Much?

Wednesday, June 21 | 4:30 – 5:20 PM | Room 12AB

Ashish Darbari, Director of Product Management at OneSpin, joins a panel of experts for a discussion on verification complexity and building an efficient verification flow. Semiconductor Engineering’s Brian Bailey moderates. 

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!


Tuesday, June 20 | 8:00 PM – 1:00 AM | Easy Tiger Bake Shop & Beer Garden

OneSpin is teaming up with partners and industry friends to present Verified, the hottest new social event at DAC. This exclusive, invitation only event will feature live music, gourmet food, top-shelf drinks, and an authentic Austin vibe. A limited number of wristbands are available on a first come, first served basis—request your invitation today!

HOT Benefit Party

Monday, June 19 | 7:00 – 11:00 PM | Speakeasy

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. All DAC attendees are welcome. Attendees are encouraged to make a tax-deductible donation—$20 or more grants VIP area access.