プロパティ検証とは

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

関連記事

  1. 切断経路とは

  2. DNS とは

  3. リモート管理ソフトウェアとは

  4. 人的資本開示とは

  5. 焼き戻しとは

  6. 経路図とは

  7. ntoskrnl.exeとは

  8. ピギーバックとは

  9. オッズ比ORとは