ニュース
ニュース
May-2011
ONESPIN、業界初となるフォーマルアサーションベース検証カバレッジ解析と計測のための
自動化されたメトリックドリブン検証ソリューションを発表
詳細May-2011
ONESPIN SOLUTIONSの360 MVソリューションを用いてルネサスエレクトロニクスがマイクロコントローラユニット(MCU) プラットフォーム向けフォーマル検証環境を構築
詳細January-2011
Azini Capital、OneSpin Solutionsを買収
EDA企業の成長、開発、総合的な価値を最大化
詳細June-2010
OneSpin Solutions、360 MVの拡張により安全かつ網羅的な4ステートX解析およびX検証をサポート
新しい4ステートフォーマル解析および検証機能により、Xに関連した設計エラーおよびRTLとネットリストのミスマッチがないことを保証
詳細January-2010
360 MV、機能RTL検証に対する業界で最も革新的かつ重要な製品としてEDN Hot 100リストに3度目の選出
受賞歴のある360 MV、EDSFair 2010 および DVCon 2010 に出展
詳細July-2009
OneSpin、フォーマルアサーション/RTLデバッグの自動化を強化
SCDsource Article by Bill Murray
詳細 ...July-2009
OneSpinの新しいデバッグ自動化技術、フォーマルアサーションベース検証の生産性を大幅に向上
360 MVの新機能RootCauseAnalyzer™ によりアサーションと設計のデバッグ作業を大幅に容易化し、高速化
詳細 ...July-2009
Tieto、OneSpinのフォーマル アサーションベース検証ソリューションを導入する長期契約を結ぶ
世界的大手IT＆R&Dサービス企業、OneSpin 360 MVソリューションをハイエンドFPGA設計の検証フローに統合
詳細 ...January-2009
OneSpin、包括的なアサーションベースのフォーマル検証をステップバイステップ アプローチにより導入、利用可能としメインストリーム向けに提供
新しい OneSpin 360® MV 製品ファミリーはユーザーのプロジェクト ニーズおよび経験に合わせて利用範囲を選択可能：
新しい診断テクノロジにより複雑なSystemVerilogアサーションのデバッグ工程を大幅に短縮
詳細 ...October-2008
Chip Design 誌記事：Functional Verification – Shining a Light into the Darkness
次世代チップ設計に制約付きランダム機能検証アプローチで十分か
詳細 ...August-2008
SOCcentral 記事：Formal Verification Goes Mainstream
「ダイナミック検証では、エラーのある動作を見つけるにはシステムに適切なスティミュラスを供給する必要があります。」
OneSpin Solutions GmbH. の Director of Product Marketing、Michael Siegelはこのように語ります。
詳細 ...June-2008
OneSpin、ギャップのない検証を可能にする業界初のSVAソリューションを発表
新しい画期的なSVAライブラリによりタイミングダイアグラムを使った簡単なプロパティ開発が可能
詳細 ...関連記事
EDA Express "フォーマル検証の独OneSpinが新たなSVA検証ソリューションを発表" 詳細 ...
February-2008
ONESPIN SOLUTIONS、新しいGapFreeVerification™プロセスによりフォーマル検証の生産性を劇的に向上
複雑なモジュールおよびIPに対して予測可能なフォーマル検証結果を体系的に提供
詳細 ...
February-2008
OneSpinのFPGA等価性チェックソリューション、EDN Innovation Awardの最終候補に
OneSpin 360™ EC-FPGA 検証ソリューションは高度に最適化されたFPGAの正しい動作を保証
詳細 ...
January-2008
OneSpin、同社の360 Module Verifierフォーマル検証ソリューションを標準アサーション言語サポートで補完
受賞歴のある360MVへの新たなゲートウェイを開くSystemVerilog Assetionsリンク機能
詳細 ...
June-2007
FDL2007 in Barcelona
9月17日-19日、バルセロナで開催される FDL2007 に協賛します
詳細 ...
June-2007
EEtimes CEO Viewpoint "機能検証のパラダイム シフト"
フォーマル検証本来の可能性の実現
詳細 ...
May-2007
最高のIP品質を効率的に達成
この記事では、コンフィギュラブル ネットワークプロセッサをOneSpinの360MVを使って検証する事例をIPプロバイダの視点から解説しています。
詳細 ...
May-2007
OneSpin、EDA設計検証標準化団体Accelleraに加入
完全性フォーマル検証のためのカバレッジ技術でUnified Coverage Interoperability Standard小委員会に貢献
詳細 ...
May-2007
OneSpin、日本法人を設立
フォーマル完全性検証ソリューションへのニーズに対応するため横浜にオフィスを開設し、求人を開始 詳細 ...
May-2007
OneSpin、360 Module Verifier の強化により業界初のマルチコンフィギュレーションIP検証ソリューションを実現
複数のIPコンフィギュレーションをワンショットで検証し、検証期間とコストを削減
詳細 ...
March-2007
OneSpin Solutions names Charles Cump Vice President of Sales
Industry Veteran to Drive Formal Verification Company's Worldwide Sales Activities
more ...
February-2007
OneSpin Solutions delivers next-generation Equivalence Checker for advanced FPGA Design Verification
360 EC-FPGA first to support all sequential optimizations performed by FPGA synthesis tools on large designs.
more ...
January-2007
OneSpin 360™ MV Formal Verification Solution wins coveted IEC DesignVision Award
Achieves highest honor in 'Design Verification Tool' category for enabling true functional
sign-off of complex digital modules and IP.
more ...
January-2007
OneSpin Solutions names Peter Feist President and CEO
Industry Veteran to Drive Verification Company's Worldwide Expansion
more ...
December-2006
OneSpin's formal verification solutions selected by EDN magazine
OneSpin's flagship product – the OneSpin 360™ Module Verifier (360MV) – has been selected
by EDN Magazine editors for its prestigious list of "Hot 100 Products of 2006."
more ...
December-2006
U.S. Office
Responding to rapidly increasing demand in the U.S. for its formal verification solutions,
OneSpin Solutions today announced it has established a sales, marketing and field applications
engineering office in Sunnyvale, California.
more ...
May-2006
Press coverage of 360 MV launch
EE Times (US): "Infineon spinoff claims new era of formal verfication"more ...
EE Times (UK):"EDA startup claims success with Infineon, Siemens"
more ...
EE Times (Germany):"Infineon Spinoff verspricht Durchbruch bei Formaler Verifikation"
more ...
EDA Cafe: "OneSpin Solutions Enters EDA Market with Breakthrough Formal..."
more ...
Electronic News: "Startup Brings Mature Property Checker to the Masses"
more ...
Electronics Weekly: "Chip design verification tool endorsed by Infineon"
more ...
Electronics Weekly: "Startup brings mature property checker to the masses"
more ...
Electronic Design: "Formal Verification Tool Squashes Bugs In IP Blocks"
more ...
May-2006
OneSpin launches 360 MV
OneSpin Solutions Enters EDA Market with Breakthrough Formal Verification Solution.
OneSpin 360 Module Verifier First To Enable True Functional Sign-off and Risk-Free IP Reuse MUNICH, Germany - May 8, 2006 - OneSpin Solutions GmbH today entered the Electronic Design Automation (EDA) market with a verification solution... more ...
May-2006
Infineon and Apax Launch a New Company
Infineon and Apax Launch a New Company for Circuit VerificationsInfineon Spin-Off Recieves a EURO 14 Million Investment from Apax
more (english) ...
more (german) ...