Prover Technology creates software that lets chip designers and others find out whether their designs will work right. Prover hopes its technology soon will become a standard part of electronic design automation (EDA) tools, the expensive software used to design circuitry such as chips.
As chips and other electronics components become more complex, verifying that they'll work right becomes increasingly difficult. Companies such as Intel--which was bitten hard by the "fdiv" bug that caused math problems in early Pentium chips--also prefer to catch problems as early as possible to avoid costly recalls.
Prover hopes the investment will help it expand into U.S. markets, the company said in a statement. The company plans to open a Silicon Valley office in August.
Current customers include mobile phone maker Ericsson and carmakers Saab, Volvo and Daimler-Chrysler.