HomeContactCorporateSitemap

get data sheet

Success Stories

Network Processor

The 360 MV technology was used stand-alone – i.e. without additional simulation – to verify an extensive redesign of a network processor IP with complex context switching. Automatic gap-detection was employed to ensure that no functionality was omitted from verification. The total verification effort was 60% less than in the simulation-based verification of its predecessor. The redesigned network processor was first-time-right. It neither showed any functional error during integration verification nor in the field since it integration in 4 SoCs.

Automotive 32-bit Controller

The 360 MV solution was used for a gap-free verification of an advanced 32-bit superscalar microcontroller with a rich set of RISC, DSP and control instructions. The chip deployed several pipelines with complex interactions, a coprocessor interface, and complex memory management. Its gap-free formal verification required 40% less effort than thorough simulation-based verification.

On-Chip Peripherals of Failsafe Multiprocessor System

A large communication systems company developed new peripherals and formally verified them using the 360 MV technology. 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 360 MV 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.