« 検証ネタ | Main | コードカバレッジまとめ »

2004.10.05

検証とポカヨケ

Writing testbenchの続き

verihu_1.jpg

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

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

verihu_2.jpg

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

|

« 検証ネタ | Main | コードカバレッジまとめ »

Comments

Post a comment



(Not displayed with comment.)




TrackBack

TrackBack URL for this entry:
http://app.cocolog-nifty.com/t/trackback/18154/1601440

Listed below are links to weblogs that reference 検証とポカヨケ:

« 検証ネタ | Main | コードカバレッジまとめ »