可偵錯同步時序機

Abstract

本論文所探討的乃是同步時序機中有關錯誤偵測的問題， 主要根據為 Kohavi 及 Lavallee，以及 Fujiwara 等人所提之方法，而加以改進者。 文中是提出一種改良時序機之方法，使其偵錯過程不但短於 Fujiwara 等人所提出 者，且能同時涵蓋足以導致時序機時態數目增加之錯誤。 同時， 有關轉移矩陣（ transition matrix ）， 時態分割（ state splitting ）， 乃分辨序列（ distinguishing sequence ）在絕對可偵錯（ definitely diagnosable ）時序機 偵測程序上的應用， 以及加上一個輸入端於可由輸出觀察（ output observable ）時序機， 使其具有計算週期（ counter cycle ）而涵蓋足以導致時序機時態數 目增加的改良方法亦一併提及。 #2811596 #2811596