検証ツールのメーカーや取扱い企業、製品情報、参考価格、ランキングをまとめています。
イプロスは、 製造業 ・ BtoB における情報を集めた国内最大級の技術データベースサイトです。

検証ツール - 企業ランキング(全8社)

更新日： 集計期間:2026年07月29日〜2026年08月25日
※当サイトの各ページの閲覧回数を元に算出したランキングです。

会社名 代表製品
製品画像・製品名・価格帯 概要 用途/実績例
株式会社マクニカ 株式会社マクニカ
ModelSim DE
ModelSim DE

50万円 ~ 100万円

 【特徴】 ○アサーションベース検証 　回路内部のバグによる波形が出力ピンに現れる前に内部バグを検出できる、 　非常に便利な機能です。 ○コードカバレッジ 　シミュレーションしてHDL コード内の各実行回数をカウントする機能です。 　デザインやテストベンチの完成度や品質... ●ASICやFPGAの論理検証やデバックなどにお使い頂けます。
---
---

---

 --- ---
  1. 株式会社マクニカ 株式会社マクニカ
    代表製品
    ModelSim DEModelSim DE
    概要
    【特徴】 ○アサーションベース検証 　回路内部のバグによる波形が出力ピンに現れる前に内部バグを検出できる、 　非常に便利な機能です。 ○コードカバレッジ 　シミュレーションしてHDL コード内の各実行回数をカウントする機能です。 　デザインやテストベンチの完成度や品質...
    用途/実績例
    ●ASICやFPGAの論理検証やデバックなどにお使い頂けます。
  2. ---
イプロス 関連サービス
COPYRIGHT © 2001-2026 IPROS CORPORATION ALL RIGHTS RESERVED.