なつたん

Writing testbenchの続き

人手(解釈)が入ると、正しい検証ができない。仕様からRTLに変換するときに、思いこみが発生してしまう。
上の絵が間違った検証例

それをなくすための3つの方法
・自動化 ハードウェアデザインでは難しい
・Poka-Yoke 自動化の手前？しかも日本語？
（Poka-Yokeよりも、ポカヨケの方がよく引っかかるな。ていうか、fool proofの事か。）
・冗長化 ヒューマンエラー究極の防止策

この絵が冗長化を加えた検証例
まあ、ソフトウェアの開発と同じですね。