May 14, 2007 -- OneSpin Solutions GmbH today announced the enhancement of its flagship OneSpin 360 Module Verifier (360MV) has led to the first complete, one-shot verification solution for configurable intellectual property (IP) components. The solution simultaneously verifies multiple configurations that can be generated from a configurable IP, significantly reducing the time, effort and cost incurred by multiple, individual verifications, each of which constitutes a major verification challenge in and of itself. The enhanced 360 MV supports the verification of IP with configurable functionality, such as optional memory-management units, or configurable synchronous or asynchronous FIFO implementations, and configurable dimensions, such as configurable bus-widths, FIFO depths, or register counts.

In contrast to simulation and assertion-based verification approaches, OneSpin 360 MV performs an efficient, complete, one-shot verification of multiple configurations, ensuring that each individual configuration functions error-free. The enhanced 360 MV thus eliminates the necessity to instantiate multiple configurations and verify them individually.

Peter Feist, OneSpin's President and CEO, said, "Formal functional verification used to be a niche technology to increase the quality of a few critical components, and it required significant effort by personnel with advanced skills. Our product enhancements combine the highest achievable verification quality with superior productivity and ease-of-use, transforming formal functional verification into a broadly applicable, efficient and robust engineering practice. The simultaneous verification of multiple IP configurations is the next step in our mission to reduce designers' verification effort and increase their verification productivity."