プロパティ検証とは

ICのデザインプロセスにおける一つの静的なチェック法。設計データが回路の動作要件（プロパティ）を数学的に評価し、確認する。

関連記事

  1. EkipaRATとは

  2. 内部対策とは

  3. 実装とは

  4. チャンネルとは

  5. CO-PAとは

  6. 純資産法とは

  7. プリファードディールとは

  8. Dumpとは

  9. Packageとは