前稿で作成したFTLをSAPHIREにインポートすると、図216.1のようなFTが構成されます。MCSの論理式で示されるとおり、2入力ANDの積項が40個、ORで接続されています。

検証としてこのFTのMCSを確認しますが、当然前々稿と同一のMCSになるはずです。インポート前後でMCSは変化しません。表216.1に得られたMCSを示します。

この頂上事象侵害確率は$3.380\times 10^{-3}$、PMHFは、225[FIT]となりましたが、前回の結果と同一です。

前のブログ 次のブログ