onespin_logo  

日本ワンスピン・ソリューションズ(株)

 

 

 

ワンスピン・ソリューションズでは、先進的な検証ソリューション分野における先導的なフォーマル・テクノロジーに対する実証と製品開発を行っています。 これらには、俊敏なデザイン評価、先進のカバレッジ・ドリブンABVと自動化されたDVアプリケーションを含んでおり、さらに先端的な挑戦分野として高度の安全性や信頼性への検証、SystemC/C++アルゴリズムに対する形式検証による解析とユニークな高性能FPGA等価検証などがあります。 ワンスピン・ソリューションズはこの3年間で目覚ましく成長しており、大手の電子機器会社でもその名前が見つけることができるかもしれません。

 
onespin