http://www.electronicstalk.com/news/oni/oni000.html OneSpin Solutions news releases on Electronicstalk en-gb Copyright (C)2008 Pro-Talk Ltd. All rights reserved. Sat, 22 Nov 2008 08:00:00 UT Sat, 22 Nov 2008 08:00:00 UT http://www.pro-talk.com/images/protalklogo90.gif http://www.pro-talk.com/ 90 79 360 MV and its GapFreeVerification process are now claimed to be the most comprehensive formal SVA verification solution on the market. Wed, 04 Jun 2008 08:00:00 UT OneSpin Solutions http://www.electronicstalk.com/news/oni/oni103.html Process systematically delivers predictable, repeatable verification results for complex modules and IP, accelerating the gap-free formal verification that ensures first-time error-free operation. Tue, 19 Feb 2008 08:00:00 UT OneSpin Solutions http://www.electronicstalk.com/news/oni/oni102.html OneSpin's 360 MV ensures that all functional errors in complex digital modules and intellectual property (IP) are detected. Wed, 23 Jan 2008 08:00:00 UT OneSpin Solutions http://www.electronicstalk.com/news/oni/oni101.html Tool verifies functional equivalence between the RTL code and post-synthesis FPGA netlist, and between the post-synthesis netlist and post-place-and-route FPGA netlist. Tue, 11 Dec 2007 08:00:00 UT OneSpin Solutions http://www.electronicstalk.com/news/oni/oni100.html