工学 論理シミュレーション｜デジタル回路設計の安全性と信頼性を高める
論理シミュレーション
論理シミュレーションは、デジタル回路が設計どおりに動作するかどうかを仮想的な環境で検証するための手法である。ゲートレベルやRTL(Register Transfer Level)といった抽象度の異なる回路記述を解...
デバッグ
工学 工学 リファレンスボード｜製品開発を加速する実装例の基板
リファレンスボード
リファレンスボードは、半導体メーカーや機器ベンダーが提供する試作用のプリント回路基板であり、チップや周辺部品、各種インターフェースを統合して応用システムとして動作可能な形にまとめたものである。たとえばマイクロコントロー...
工学 プロパティ検証｜形式手法で安全性を保証する設計アプローチ
プロパティ検証
プロパティ検証とは、ソフトウェアやハードウェアの仕様に基づく特性（プロパティ）が正しく満たされているかを形式的手法やツールを用いて確認する工程である。設計段階で抽象化された振る舞いを数理モデルに落とし込み、論理的に矛盾...
工学 評価ボード｜製品の動作検証や開発で用いられる回路基板
評価ボード
製品の動作検証やプロトタイプ開発を効率よく行うために用いられるのが、評価ボード（プリント回路基板）である。これはマイコンやFPGA、アナログ回路などの主要部品があらかじめ実装され、ユーザが追加配線や拡張モジュールの接続を行いや...
工学 デバッグ｜コードの誤りを検出し修正
デバッグ
デバッグはソフトウェアに潜むバグや不具合を見つけ出し、修正する作業全般を指す。プログラムの品質や信頼性を向上させるために欠かせない工程であり、開発の生産性を左右する重要な要素でもある。現代のソフトウェア開発は規模や複雑度が高...
工学 デザインハウス｜半導体の回路設計を行う
デザインハウス
デザインハウスとは、半導体製造における重要な役割を担う受託設計企業のことである。具体的には、半導体メーカやファウンドリなどから設計や開発のプロジェクトを請け負い、回路の仕様策定から論理設計・レイアウト設計・検証までを包...
工学 LVS｜回路とレイアウトの整合性を自動検証
LVS
LVS（Layout Versus Schematic）とは、ICやLSIの開発工程において、回路設計段階で作成した回路図（スキマティック）と、実際に描かれたレイアウトパターンが正しく一致しているかを確認するための検証手法である。...
工学 JTAG｜組み込みテストとデバッグを可能にする標準規格
JTAG
JTAG（Joint Test Action Group）は、半導体や電子回路基板におけるテストおよびデバッグ手法を標準化する目的で策定された規格である。主にチップ内部の配線状態やロジックの動作状況を外部から直接検証できる仕組み...
工学 ICE｜実機と同等環境でハードウェアを直接デバッグする手法
ICE
ICEとは、組み込みシステムやマイコンの開発時にハードウェアの実機環境で動作を検証するためのツールである。プログラムを実際のデバイスに近い条件でデバッグできることから、ソフトウェアとハードウェア双方の不具合を効率的に洗い出せる利点...