SANTA CRUZ, Calif. OneSpin Solutions is a German EDA startup that's making bold claims in formal verification, but for U.S. engineers, the claims have come from a distance. OneSpin this week (Dec. 27) is announcing the establishment of a U.S. office in Sunnyvale, Calif. to bring its products to the North American market.
OneSpin (Munich, Germany) offers two products. Its 360 Module Verifier promises to detect all functional errors in digital modules and intellectual property (IP). Its 360 Equivalence Checker is an automated solution that verifies equivalence between RTL and gate-level designs.
While introducing its Module Verifier in May 2006, OneSpin made the bold claim that the tool offers verification so complete that simulation will not be needed at the module level. The solution is based on 250-plus engineer-years of R&D at Siemens and Infineon. OneSpin is a recent spinoff from Infineon Technologies' Circuit Verification Environment unit.
OneSpin founder and CTO Wolfram Buttner said in a statement that there has been "significant demand" for the company's products in the U.S. market, from IP, system-on-chip and processor companies. "Establishing a significant U.S. presence is the next logical step in our business development," he said.
OneSpin's U.S. office is located at 1275 Orleans Drive, Sunnyvale, Calif. 94089, and can be reached at 408-470-4970.