CUSTOMERS > SUCCESS STORIES
get data sheet
Success Stories
Network Processor
The OneSpin technology fully verified a network processor with complex context switching
that is used in a variety of applications. It assured that no functionality was
omitted from verification. Moreover, the total verification effort in engineer-months
was about 40% less than that in a previous, simulation-based project.
Automotive 32-bit Controller
The 360 MV solution currently is being used to achieve True Functional Sign-off for an advanced
32-bit superscalar microcontroller with a rich set of RISC, DSP and control instructions.
The chip deploys several pipelines with complex interactions, a coprocessor interface, and
complex memory management. Interim results from this cutting-edge verification project
already have demonstrated both the quality and productivity of the OneSpin methodology and solution.
On-Chip Peripherals of Failsafe Multiprocessor System
A large communication systems company developed new peripherals and formally verified them using the functional
sign-off methodology of 360 MV. These peripherals were instantiated multiple times, and integrated into two
ASICs - each of 4 million gates - that constituted the central components of a large multiprocessor system.
The 360 EC technology was then employed to preserve this high quality level through subsequent implementation steps.
Both ASICs worked right the first time, met an ambitious project schedule, and were critical for the business
success of the company.
On-Chip Peripherals of Baseband Chip
The OneSpin technology was applied to two generations of a baseband chip,
verifying critical modules such as bus bridges, arbiters, and complex peripherals.
All modules were bug-free at the commencement of chip-level simulation, reducing substantially system-level verification time
and avoiding the significant re-design costs often associated with traditional verification methodologies.
