TMCnet News
MEDIA ALERT: OneSpin Solutions' Comprehensive Formal Verification Portfolio and Expertise to be Featured at Design Automation ConferenceMUNICH, Germany and SAN JOSE, Calif., June 21, 2018 (GLOBE NEWSWIRE) -- WHO: OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs) OneSpin’s formal verification expertise will be on display during DAC technical sessions. John Hallman, program manager of the ATG SCC Division at MacAulay-Brown, and Muhammad Haque Khan, OneSpin’s product specialist synthesis verification, will present “FPGA Bitstream-to-RTL Verification: A Case Study on an IP Module for Aerospace Applications.” The presentation, session 35.3 in the “New Challenges for IP and VIP to Support Emerging Application or Algorithm” IP Track, will be held Tuesday from 3:30 p.m. through 5 p.m. in room 2008. Sanjay Pillay, CEO of Austemper Design Systems, and Jörg Grosse, OneSpin’s product manager functional safety, will present a 30-minute talk, “Safety-Critical ISO 26262 Hardware Development,” in the OneSpin booth at 3 p.m. Wednesday. An open question and answer session will follow the presentation. OneSpin Board Director Jim Hogan, managing partner of Vista Ventures, will moderate a DAC Pavilion panel titled, “Can We Use Blockchain to Secure Everything? Should We?” Tuesday from 2:15 p.m. until 2:45 p.m. The second annual “Verified” party, a celebration of the verification ecosystem, will be held Monday at the Golden Gate Tap Room, second floor, 449 Powell Street in San Francisco from 8 p.m. until midnight. OneSpin organized the party wth support from 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. Although Verified is invitation-only, a limited number of tickets is 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, in conjunction with the DAC opening reception, Sunday from 6 p.m. until 10:30 p.m. on Moscone Center West’s third-floor mezzanine. About OneSpin Solutions Engage with OneSpin at: OneSpin, OneSpin Solutions and the OneSpin logo are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners. For more information, contact: |