電子回路シミュレーション
集積回路の製造においては、フォトマスクの作成に莫大な費用が必要なため、その修正をゼロにすることを目標に、論理動作、アナログ動作ともにシミュレーションの段階で徹底的に確認をおこなう。特に論理設計では形式手法も導入されている。