OneSpin, 14 co-hosts to present "Verified" at DAC 2018

June 6, 2018 ECD Staff

OneSpin Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), will host the second annual “Verified,” a celebration of the verification ecosystem Monday, June 25, during the Design Automation Conference (DAC).

Verified will be held at the Golden Gate Tap Room, second floor, 449 Powell Street in San Francisco from 8 p.m. until midnight, and will feature live music and dancing, vintage arcade and table games, snacks and drinks.

The invitation-only event brings together the verification community for networking and fun with co-hosts Agnisys, AMIQ EDA, Austemper Design Systems, Avery Design Systems, Blue Pearl Software, Breker Verification Systems, Concept Engineering, Dassault Systemes, EDACafe, Electronic System Design Alliance, Metrics, MunEDA, Semifore and Verific Design Automation.

“We couldn’t ask for a better location for Verified than the Golden Gate Tap Room,” says McKenzie Ross, OneSpin’s marketing communications manager, and organizer of Verified. “Located just off San Francisco’s legendary Union Square, it is one of the city’s most popular gathering places. Opportunities for fun abound in this laid-back, retro venue featuring a staggering list of 100+ beers, an abundant wine selection and tasty pub fare.”

Although Verified is invitation-only, a limited number of tickets are available from OneSpin or its co-hosts: https://www.onespin.com/verified/.

OneSpin also will sponsor this year’s Heart of Technology (HOT) 55 Party now combined with the DAC opening reception Sunday from 6 p.m. until 10:30 p.m. on Moscone Center West’s third-floor mezzanine. Ross is an organizer of this event as well.

OneSpin will demonstrate its comprehensive formal verification solutions at DAC Booth #2611 Monday-Wednesday, June 25-27, from 10 a.m. until 6 p.m. at the Moscone Center in San Francisco.

Previous Article
Tuxera and Green Hills Software Partner to Bring Tuxera Flash File System to INTEGRITY Real-Time Operating System
Tuxera and Green Hills Software Partner to Bring Tuxera Flash File System to INTEGRITY Real-Time Operating System

Tuxera and Green Hills Software Cooperation Delivers Safety and Security for Automotive Storage Applications

Next Article
Energid enables development of modular robotic surgery systems for underserved countries

SS Innovations develops next-generation robotic surgical hardware and surgeon command center using Energid'...