對于微機(jī)系統(tǒng)的模糊時間點兼容性推理

全文26頁 約19000字 論述翔實

提要：

對于微機(jī)系統(tǒng)診斷的時間范圍推理和模糊時間點推理已經(jīng)被提出和實現(xiàn)。這些方法提出有效的時間限制推理，它基于兩個原始機(jī)制：強迫補償和強迫傳播.通過這個推理過程，一個微機(jī)系統(tǒng)事件的發(fā)生時間根據(jù)以前發(fā)生的參考事件來決定。然而，在微機(jī)系統(tǒng)領(lǐng)域，這兩個原始機(jī)制在某些方面由其不足之處。在一些情況下，一個系統(tǒng)元件的定時參數(shù)強加一個暫時的強迫在一個事件上，這個事件是有關(guān)在這個情況下未知發(fā)生時間的未來事件。那么，參考一個未來事件來設(shè)置一個事件是很難的。特別對于MC6800微處理器的閱讀周期，在CPU時鐘狀態(tài)S5下滑邊緣之前，這個DTACK 信號至少在tASI必須被聲明。當(dāng)這個時鐘被定義為周期信號，參數(shù)tASI就不能直接影響S5的發(fā)生時間。實際上，tASI強加一個兼容性制約在事件S5上。如果強制不滿足，或者一個事件或者一系列事件可能別啟動來解決這個強制違規(guī)或者操作錯誤。在我們的案例中，等待狀態(tài)被插入。因此，要求有一個追加的推理機(jī)制來確定事件強制兼容性的種類。