OCPプロトコル検証プロパティIP
| 製品カテゴリ | 設計IP |
|---|---|
| 製品種別 | OCP |
| 製品・サービス名 | OCPプロトコル検証プロパティIP |
| 販売元会社名 | 日本トランスEDA |
| 国名 | 米国 |
| 開発元url | http://www.transeda.com/ |
| 製品概要 | "ディジタル民生機器、携帯型情報機器、ICカード、携帯電話機、端末系通信機器（携帯電話機）、ネットワーク機器、自動車関係、OA機器、産業機器、その他 OCP1.0/2.0/2.1をサポートする200種類以上のプロトコル・プロパティ。プロパティチェックにより数学的に検証出来る。 高機能なバスのあらゆるプロトコルをフォーマル技術により漏れなく検証。また性能プロパティにより絶対性能の検証が可能。また、ユーザ独自のプロトコルがある場合はPSL/SVAにより記述可能。" |
| 製品詳細情報 | "製品実績あり 即日渡し可能" |
| その他製品関連情報 | |
| 問合せ先会社名 | 日本トランスEDA |
| 問合せ先電話番号 | 045-227-6201 |
| 問合せURL | http://www.transeda.com/ |
