The latter is implemented through comparing the two different results from Ski IA-64 hardware simulator and Verilog-XL logic simulator.

• 后者是通过比对同一测试码在Ski IA-64硬件模拟器和Verilog-xL逻辑模拟下的不同运行结果实现的。