| 2007/10/9 |
OKIネットワークLSI、シノプシスのVMM検証ソリューションを活用し短期間に数多くの検証プロジェクトの成功を実現 |
| 2007/8/8 |
沖ネットワークエルエスアイ、ケイデンスのPlan-to-Closure Methodology Verification Alliance Programにパートナーとして参加 |
| 2005/9/9 |
沖ネットワークエルエスアイ、SystemVerilog Catalyst Programへ加入 |
| 2005/6/9 |
STARC「ハードウェア・ソフトウェア協調検証の高速化技術」の事業化を推進 |
| 2004/8/31 |
システムLSIコントラクト事業における認定コントラクターとして登録 |
| 2004/8/9 |
「Assertion-Based Design」の邦訳に参画
（邦題「アサーションベース設計 原書第2版」絶賛発売中） |
