検証ツール - メーカー・企業7社の業務用製品ランキング | イプロスものづくり

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

検証ツールのメーカー・企業ランキング

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

沖電気工業株式会社産業営業本部　産業営業統括室東京都/情報通信業
株式会社マクニカ神奈川県/電子部品・半導体
アイティアクセス株式会社本社神奈川県/ソフトウェア
株式会社宇部情報システム山口県/ソフトウェア
5 株式会社B7 東京都/ソフトウェア

企業ランキングへ

検証ツールの製品ランキング

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

FPGA設計（シミュレーション）の紹介沖電気工業株式会社産業営業本部　産業営業統括室
ModelSim DE 株式会社マクニカ
形式検証ツール『SPARK Pro』アイティアクセス株式会社本社
ツール『HTML Validator』株式会社B7
4 故障前に対処できる！故障予知のためのセンサー設計・検証ツール株式会社宇部情報システム

検証ツールの製品一覧

1～7 件を表示／全 7 件

表示件数

3DCAD設計者の味方！Creo GD＆T Advisorの全貌

幾何公差の適用と検証を専門的にサポートするAIガイド

Creo GD＆T Advisor Extensionは、Creo Parametricのアドオン拡張機能として提供され、幾何公差(GD＆T)の適用と検証に関して専門的なガイダンスを提供する画期的なツールです。この拡張機能は、設計者がGD＆T規格に完璧に精通していなくても、正しい幾何公差の作成を簡素化し、迅速化することを目的としています。 GD＆T Advisorは、設計プロセスの中でリアルタイムにGD＆Tの規則をチェックし、問題があればAdvisor Treeを通じて警告やエラーを通知します。主な機能は、幾何公差の作成、検証、そしてGD＆T規格に関する教育の3つの柱から成り立っており、設計品質を担保しながら作業効率を向上させます。 GD＆T Advisorのインターフェースや具体的な機能詳細を資料で確認し、その威力を体験してください。 ※詳しくはPDFをダウンロードしていただくか、お気軽にお問い合わせください。

企業：PTC ジャパン株式会社
価格：応相談

3次元CAD
検証ツール

ブックマークに追加いたしました

ブックマーク一覧

ブックマークを削除いたしました

ブックマーク一覧

これ以上ブックマークできません

会員登録すると、ブックマークできる件数が増えて、ラベルをつけて整理することもできます

無料会員登録

ツール『HTML Validator』

Webサイトの問題を解決するのに役立つ！W3Cの標準に準拠しているか確認が可能

『HTML Validator』は、HTML文書の構文エラーを検出するためのツールです。 W3Cの標準に準拠しているかどうかを確認することが可能。また、「W3C Markup Validation Service」では、RSS/Atomフィードや CSSスタイルシートなどの特定のコンテンツを検証したり、壊れたリンクを見つけたりすることができます。【ライセンス種類】 ■CSS HTML Validator Home Edition ■CSS HTML Validator Professional (Pro) Edition ■CSS HTML Validator Enterprise Edition ※詳しくは関連リンクをご覧いただくか、お気軽にお問い合わせ下さい。

企業：株式会社B7
価格：応相談

ソフトウェア（ミドル・ドライバ・セキュリティ等）
検証ツール

製品を詳しく見る

ブックマークに追加いたしました

ブックマーク一覧

ブックマークを削除いたしました

ブックマーク一覧

これ以上ブックマークできません

会員登録すると、ブックマークできる件数が増えて、ラベルをつけて整理することもできます

無料会員登録

FPGA設計（シミュレーション）の紹介

FPGAの開発期間短縮を実現！

機能検証ツール（ModelSim）を活用し、コーディング段階からシミュレーションを行うことで、高品質、開発期間短縮を実現します。 ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。

企業：沖電気工業株式会社産業営業本部　産業営業統括室
価格：応相談

その他組込み系（ソフト＆ハード）
検証ツール

ブックマークに追加いたしました

ブックマーク一覧

ブックマークを削除いたしました

ブックマーク一覧

これ以上ブックマークできません

会員登録すると、ブックマークできる件数が増えて、ラベルをつけて整理することもできます

無料会員登録

故障前に対処できる！故障予知のためのセンサー設計・検証ツール

部品・装置単位で作成されたシステムモデルがベース！複雑系における複数の分析をシームレスに実行可能

『MADe(メイド)』は、PHM Technology社が開発したソフトウェアです。製造業において製品や設備の安全性・信頼性の評価、および故障予知に必要となるインダストリアル・ビッグデータの取得に向けたセンサー配置検証・最適化を可能とするツール。製品、製造設備をシステムモデルで表現することで高度な保全技術に関するシステム工学的アプローチを示すコンセプトPHMに関連する検討をシームレスに実施できます。【特長】 ■豊富なライブラリ(部品のモデル・FTA)でモデリングを省力化 ■部品や設備間の依存関係を自動マッピング ■遺伝的アルゴリズムを用いたセンサー配置の自動最適化 ■各種分析：FTA、FME(C)A、PHM ■RCMの実施 ■各種レポート出力 ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。

企業：株式会社宇部情報システム
価格：応相談

機械設計
検証ツール

ブックマークに追加いたしました

ブックマーク一覧

ブックマークを削除いたしました

ブックマーク一覧

これ以上ブックマークできません

会員登録すると、ブックマークできる件数が増えて、ラベルをつけて整理することもできます

無料会員登録

「PLAS-Qlite」

「パフォーマンス検証」における手戻り工数削減を実現！

実行時間計測機能のある「カバレッジマスターwinAMS」と連携して、関数単体テスト工程段階で、派生開発や機能追加による、ソフトウェア規模増加に起因したマイコン制御時間の許容オ―バーを確認することができます。

企業：ガイオ・テクノロジー株式会社
価格：応相談

開発支援ツール（ICE・エミュレータ・デバッガ等）
検証ツール

製品を詳しく見る

ブックマークに追加いたしました

ブックマーク一覧

ブックマークを削除いたしました

ブックマーク一覧

これ以上ブックマークできません

会員登録すると、ブックマークできる件数が増えて、ラベルをつけて整理することもできます

無料会員登録

ModelSim DE

メンター・グラフィックスの ModelSim DEのご紹介です。

メンター・グラフィックスのModelSim DEは単なる論理シミュレータではありません。アサーションベース検証、コードカバレッジ、波形比較、エンハンスド・データフローなどの検証に役立つ機能を搭載した、ベリフィケーション・ツールです。特詳しくはカタログをダウンロードしてください。

企業：株式会社マクニカ
価格：50万円 ~ 100万円

太陽光発電機
風力発電機
評価ボード
検証ツール

ブックマークに追加いたしました

ブックマーク一覧

ブックマークを削除いたしました

ブックマーク一覧

これ以上ブックマークできません

会員登録すると、ブックマークできる件数が増えて、ラベルをつけて整理することもできます

無料会員登録

形式検証ツール『SPARK Pro』

形式検証と静的検証が統合されたツール・スイートでプログラムエラーを最小化

『SPARK Pro』は、形式検証可能なAda 2012サブセットの言語を使用し、ソフトウェア検証に数学ベースの信頼性をもたらすツールセットです。当製品を使用して、ソフトウェア・アーキテクチャ要件を形式的に定義、自動検証。実行時エラーを削減し、セーフティ・プロパティまたはセキュリティ・ポリシーの適用、機能の正確性（形式的に定義された仕様への準拠）などの幅広いソフトウェア整合性に対するプロパティを保証する事ができます。【機能】 ■データフロー解析 ■インフォメーションフロー解析 ■実行時例外の検出 ■プロパティチェック ■レベル別検証 ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。

企業：アイティアクセス株式会社本社
価格：応相談

ソフトウェア（ミドル・ドライバ・セキュリティ等）
検証ツール

ブックマークに追加いたしました

ブックマーク一覧

ブックマークを削除いたしました

ブックマーク一覧

これ以上ブックマークできません

会員登録すると、ブックマークできる件数が増えて、ラベルをつけて整理することもできます

無料会員登録

前へ 1 次へ