At the Verification 3.0 Innovation Summit on March 19th at Levi's Stadium in Santa Clara, California, OneSpin's Senior Field Application Engineer, Sasa Stamenkovic, discussed the...
RISC-V is hot and stands at the beginning of what may be a major shift in the industry....
OneSpin unleashed its RISC-V Integrity Verification Solution for development and assessment of RISC-V cores, leveraging its advanced formal verification expertise for automotive and other high-integrity...
OneSpin will formally unveil its formal RISC-V Integrity Verification Solution for development and assessment of the open-source IP at DVCon next week....
Many IoT devices are complex system-on-chip (SoC) designs with embedded software. The development isn't trivial, and the verification is critical for successful deployment in end...
OneSpin Solutions today launched OneSpin 360 DV Floating Point Unit (FPU) App, an application add-on to the OneSpin 360 DV Property Checker for the formal verification...
Automotive safety engineers know how hard it is to comply with the requirements of ISO 26262. Safety requirements, in turn, create new tasks for hardware...
Now that formal verification is part of mainstream verification and used on most chip designs, project managers need to understand the role played by formal...
Last month I took the opportunity to embark on my first international business trip. For someone like me, who for various reasons has not travelled...
MUNICH, Germany and SAN JOSE, Calif. -- October 23, 2018 -- OneSpin® Solutions today announced PortableCoverage™, the first formal verification solution to integrate with all...