In a pipelined computer, there is a possibility of interaction between microwords. These interactions may cause the operation of the computer to slow down, or they may cause errors. An extended error checking tool is used to detect these cases and help the microcode be more correct and more efficient.
在流水线计算机中,微字之间可能会发生交互。这些相互作用可能会导致计算机的运行速度变慢,或者可能导致错误。扩展的错误检查工具可用于检测这些情况,并帮助微码更加正确和高效。 P>
IBM Corporation, Endicott, New York;
机译:使用基于机器学习的多层达到三角洲检查管错误中的错误血液
机译:双球杆数控机床热误差的检测与测量研究
机译:具有整数变量线性约束的扩展有限状态机的符号模型检查
机译:通过模型检查和导航状态机的运行时执行来消除Web应用程序中的导航错误
机译:利用虚拟机基础结构来实施低开销的错误检查工具。
机译:对其进行两次检查:使用化疗模型评估在床边检查用药错误的清单
机译:采用基于机器学习的多角质三角洲检查管误差中的错误血液
机译:以代数方式检查微代码。