Download OneSpin's DVCon paper 'Complete Formal Verification of TriCore2 and Other Processors',
which describes the complete verification of a large multimedia processor using 360 MV, here.
Design and Verification Conference (DVCon) 2007
Expanding in the US, OneSpin Solutions GmbH exhibited at the DVCon (Design and Verification Conference and Exhibition) in San Jose (21-23 February 2007) for the first time.
The OneSpin booth was visited by verification specialists and representatives of US, European and Asian electronics companies. One main interest area was complete module and IP verification. During six hours of exhibition, OneSpin gave more than 30 demos of 360 MV – winner of this year's acclaimed IEC DesignVision Award, and also selected for EDN magazine's “Hot 100 Products” list – explaining how engineers can efficiently achieve a true functional sign-off, ensuring absence of any functional errors in their complex modules and IP.
The other main attraction was the newly launched 360 EC-FPGA, OneSpin's next-generation equivalence checker that suports all sequential optimizations performed by advanced FPGA synthesis tools for today's largest FPGA devices. More than 20 demos have been given to explain the ease-of-use and power of this next-generation equivalence checking solution.
