OneSpin Solutions to Showcase Full Complement of IC Integrity Solutions at 56th DAC

MUNICH, 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 beginning 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
OneSpin Solutions is a leading provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits. These solutions are based on OneSpin's widely used formal verification technology and assure the integrity of SoCs, ASICs and FPGAs. Headquartered in Munich, Germany, OneSpin partners with leaders worldwide in automotive and industrial applications; defense; avionics; artificial intelligence and machine learning; consumer electronics; and communications. Its advanced solutions are well-suited for developing heterogeneous computing platforms, using programmable logic, and designing and integrating processor cores, such as RISC-V. OneSpin's customer-oriented commitment is fundamental to its growth and success. OneSpin: Assuring IC Integrity. Visit www.OneSpin.com to learn more.

Connect with OneSpin at:
Twitter: @OneSpinSolution
LinkedIn: https://www.linkedin.com/company/onespin-solutions
Facebook: https://www.facebook.com/OneSpinSolutions

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:
Nanette Collins                         
Public Relations for OneSpin Solutions      
(617) 437-1822                                                  
nanette@nvc.com

OneSpin Signet Claim 2019 f01 rgb.png




Review Article Be the first to review this article
Featured Video
Latest Blog Posts
Alex Carrick, Chief Economist at ConstructConnectThe AEC Lens
by Alex Carrick, Chief Economist at ConstructConnect
From Within the Herd (June 1, 2020) – Word Processing vs Meat Processing
Jobs
ROV Pilot II for TechnipFMC at Houston,, Texas
Mechanical Designer for TechnipFMC at Houston,, Texas
Geographic Information System Analyst II for State of Idaho at Boise, Idaho
GIS Analyst #14713 for State of Missouri at Jefferson City,, Missouri
Upcoming Events
BUILDINGSNY -postponed June 17-18, 2020 at Javits Center New York City NY - Jun 17 - 18, 2020
Urban Planning & Architectural Design for Sustainable Development – 5th Edition at Rome,Italy Roma Tre University Rome Italy - Jul 7 - 9, 2020
Cities’ Identity Through Architecture and Arts – 4th Edition at Rome,Italy Rome Italy - Jul 7 - 9, 2020
AEC Next Technology Expo + Conference (NEW DATE), at McCormick Place Chicago IL - Jul 27 - 29, 2020
Kenesto: 30 day trial
Bentley: Livestream On Demand
CADalog.com - Countless CAD add-ons, plug-ins and more.



© 2020 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
TechJobsCafe - Technical Jobs and Resumes EDACafe - Electronic Design Automation GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise