Product category: Design and Development Software
News Release from: OneSpin Solutions | Subject: 360 Module Verifier
Edited by the Electronicstalk Editorial Team on 04 June 2008
Verification promises gap-free
performance
360 MV and its GapFreeVerification process are now claimed to be the most comprehensive formal SVA verification solution on the market.
OneSpin Solutions has developed the industry's first verification solution that features gap-free RTL verification using SystemVerilog Assertions (SVA) This represents a major technical breakthrough in verification technology employing standard verification languages
This article was originally published on Electronicstalk on 23 Jan 2008 at 8.00am (UK)
Related stories
Language link eases verification
OneSpin's 360 MV ensures that all functional errors in complex digital modules and intellectual property (IP) are detected.
Equivalence checker is made for the FPGA market
Tool verifies functional equivalence between the RTL code and p