TMCnet News
MEDIA ALERT: OneSpin Solutions to Showcase Full Complement of IC Integrity Solutions at 56th DACMUNICH, Germany, May 29, 2019 (GLOBE NEWSWIRE) -- WHO: OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits WHAT: Will use its Booth (#308) at the 56th Design Automation Conference (DAC) to feature its full complement of certified IC integrity verification solutions. Included are its Formal RISC-V Verification™ App, the first App in the OneSpin RISC-V Integrity™ Verification Solution for safety- and security-critical applications, and OneSpin 360 EC-FPGA’s expanding support for a variety of field programmable gate array (FPGA) families. WHEN: Monday-Wednesday, June 3-5, from 10 a.m. until 6 p.m. WHERE: Las Vegas Convention Center in Las Vegas, Nev. OneSpin recently unveiled the Formal RISC-V Verification App, the first App in the OneSpin RISC-V Integrity Verification Solution for safety- and security-critical applications. It also announced OneSpin 360 EC-FPGA support for three new Intel® field programmable gate array (FPGA) families used in high-bandwidth applications. They include Cyclone® V using Intel Quartus® Prime Standard Edition software for synthesis and place-and-route, and Stratix® 10 and Arria® 10 with Intel Quartus® Prime Pro Edition software for synthesis and place-and-route. DAC attendees can schedule demonstrations by visiting http://www.onespin.com/dac. Nicolae Tusinschi, product specialist, design verification at OneSpin, will present, “Unbounded Formal Verification of RISC-V CSRs with Interval Property Checking,” during the Designer Track Session, “New Frontiers in Formal and Static Verification.” The session will be held Monday from 10:30 a.m. until noon in Room N262. During the Designer/IP Track Poster Networking Reception Monday eginning at 5 p.m., Sasa Stamenkovic, OneSpin’s senior field application engineering, will be available to discuss “Advances in Formal Connectivity Checking –– A Case Study on a Multi-Billion-Gate SoC.” OneSpin will host “Verified,” the annual celebration of the verification ecosystem, at Topgolf Las Vegas at MGM Grand Monday, June 3, during DAC. A limited number of tickets is available from OneSpin or its co-hosts Agnisys, AMIQ EDA, Avery Design Systems, Blue Pearl Software, Breker Verification Systems, Concept Engineering, Dassault Systèmes, Imperas, Semifore and Verific Design Automation. About OneSpin Solutions Connect 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: |