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

全文26頁 約19000字 論述翔實(shí)

提要：

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