对于微机系统的模糊时间点兼容性推理.doc
约26页DOC格式手机打开展开
对于微机系统的模糊时间点兼容性推理,全文26页约19000字论述翔实提要：对于微机系统诊断的时间范围推理和模糊时间点推理已经被提出和实现。这些方法提出有效的时间限制推理，它基于两个原始机制：强迫补偿和强迫传播.通过这个推理过程，一个微机系统事件的发生时间根据以前发生的参考事件来决定。然而，在微机系统领域，这两个原始机制在...
内容介绍
此文档由会员 棉花糖糖 发布
对于微机系统的模糊时间点兼容性推理
全文26页 约19000字 论述翔实
提要：
对于微机系统诊断的时间范围推理和模糊时间点推理已经被提出和实现。这些方法提出有效的时间限制推理，它基于两个原始机制：强迫补偿和强迫传播.通过这个推理过程，一个微机系统事件的发生时间根据以前发生的参考事件来决定。然而，在微机系统领域，这两个原始机制在某些方面由其不足之处。在一些情况下，一个系统元件的定时参数强加一个暂时的强迫在一个事件上，这个事件是有关在这个情况下未知发生时间的未来事件。那么，参考一个未来事件来设置一个事件是很难的。特别对于MC6800微处理器的阅读周期，在CPU时钟状态S5下滑边缘之前，这个DTACK 信号至少在tASI必须被声明。当这个时钟被定义为周期信号，参数tASI就不能直接影响S5的发生时间。实际上，tASI强加一个兼容性制约在事件S5上。如果强制不满足，或者一个事件或者一系列事件可能别启动来解决这个强制违规或者操作错误。在我们的案例中，等待状态被插入。因此，要求有一个追加的推理机制来确定事件强制兼容性的种类。
全文26页 约19000字 论述翔实
提要：
对于微机系统诊断的时间范围推理和模糊时间点推理已经被提出和实现。这些方法提出有效的时间限制推理，它基于两个原始机制：强迫补偿和强迫传播.通过这个推理过程，一个微机系统事件的发生时间根据以前发生的参考事件来决定。然而，在微机系统领域，这两个原始机制在某些方面由其不足之处。在一些情况下，一个系统元件的定时参数强加一个暂时的强迫在一个事件上，这个事件是有关在这个情况下未知发生时间的未来事件。那么，参考一个未来事件来设置一个事件是很难的。特别对于MC6800微处理器的阅读周期，在CPU时钟状态S5下滑边缘之前，这个DTACK 信号至少在tASI必须被声明。当这个时钟被定义为周期信号，参数tASI就不能直接影响S5的发生时间。实际上，tASI强加一个兼容性制约在事件S5上。如果强制不满足，或者一个事件或者一系列事件可能别启动来解决这个强制违规或者操作错误。在我们的案例中，等待状态被插入。因此，要求有一个追加的推理机制来确定事件强制兼容性的种类。
