November 15, 2007 -- Addressing growing customer demand in Japan, OneSpin Solutions KK has expanded its operations in Japan by moving into a new sales and field applications engineering office in Yokohama. OneSpin also hired additional field-application staff to support customers onsite.

In February 2007, OneSpin launched the an equivalence checker for FPGAs – OneSpin 360TM EC-FPGA – to support all sequential optimizations performed by FPGA synthesis tools on large designs, enabling designers to meet functional, performance and cost targets. It thoroughly proves, without simulation, that design functionality is maintained through all implementation phases of FPGA designs. It supports both prototyping and production-part verification.

OneSpin’s formal verification product portfolio also comprises a complete functional verification solution – OneSpin 360 Module Verifier (360MV) – to achieve first-time-right, error-free operation and true functional sign-off for a broad range of digital modules and intellectual property (IP), such as peripherals, processors and subsystems of up to a few hundred thousand lines of RTL code. OneSpin’s 360MV, combined with its systematic FormalDoublePASSTM process, is a property checking solution that provides a highly-automated verification process that guides and supports efficient property development by engineers from initial verification planning to true functional sign-off.