論理診断
論理診断（ろんりしんだん、英: error diagnosis）とは、LSI など論理回路の設計中に混入した論理設計誤りを最小の変更で自動修正する技術のことである。 == 概要 == 満たすべき機能仕様と実際に設計した回路（以下、実回路）を入力に与えることで、実回路を最小の変更で機能仕様と論理的に等価になるように、変更箇所とその箇所をどの様に変更すればよいかを求める技術である。
論理診断（ろんりしんだん、英: error diagnosis）とは、LSI など論理回路の設計中に混入した論理設計誤りを最小の変更で自動修正する技術のことである。 == 概要 == 満たすべき機能仕様と実際に設計した回路（以下、実回路）を入力に与えることで、実回路を最小の変更で機能仕様と論理的に等価になるように、変更箇所とその箇所をどの様に変更すればよいかを求める技術である。
論理診断（ろんりしんだん、英: error diagnosis）とは、LSI など論理回路の設計中に混入した論理設計誤りを最小の変更で自動修正する技術のことである。 == 概要 == 満たすべき機能仕様と実際に設計した回路（以下、実回路）を入力に与えることで、実回路を最小の変更で機能仕様と論理的に等価になるように、変更箇所とその箇所をどの様に変更すればよいかを求める技術である。
出典: Wikipedia「論理診断」 · CC BY-SA 4.0
この記事を共有: X · Bluesky