EDN

Design verification and debugging FPGA implementations

Verification takes as much as 70% of an ASIC's development time and resources. With growing ASIC complexity, verification problems are growing exponentially. Given the high cost of ASIC mask sets, the ...
Business Wire

OneSpin Participates at Nokia’s Famed FPGA Conference and Hackathon as a Headline Speaker and Verification Solution Provider

MUNICH, GERMANY--(BUSINESS WIRE)--OneSpin Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, will ...
Business Insider

OneSpin Announces Immediate Availability of OneSpin 360 EC-FPGA Tool Qualification Kit Certified for ISO 26262, IEC 61508, EN 50128Users Deploy EC-FPGA Formal Sequential ...

MUNICH, Germany and SAN JOSE, Calif., Feb. 14, 2018 (GLOBE NEWSWIRE) -- OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), ...
Semiconductor Engineering

Formal Verification Becoming Critical To Auto Security, Safety

Formal verification is poised to take on an increasingly significant role in automotive security, building upon its already widespread use in safety-critical applications. Formal has been essential ...
Electronic Design

Surveying The Verification Landscape

Most companies use a bottom-up verification flow, which has some implications on the tools that they use for verification. Some companies, though, are moving to a top-down flow because today’s systems ...