公开(公告)号：US06834359B2

公开(公告)日：2004-12-21

申请号：US09960154

申请日：2001-09-21

申请人： Harald Boehm ,  Joachim von Buttlar ,  Axel Horsch ,  Joerg Kayser ,  Stefan Koerner ,  Martin Kuenzel

发明人： Harald Boehm ,  Joachim von Buttlar ,  Axel Horsch ,  Joerg Kayser ,  Stefan Koerner ,  Martin Kuenzel

IPC分类号： G06F1100

CPC分类号： G06F11/261

摘要： A method for verifying the correctness of the functional behavior of a processor cooperating with software is provided. Furthermore, the method allows verification of a CPU having at least a part of its instruction set implemented with microcode. First, the microcode is independently tested by using a functional emulator performing in the same way as the processor hardware according to the processor's functional specification. Then, the microcode is tested by using a hardware emulator behaving in the same way as the processor hardware according to the design of the processor's logic gates. Finally, the microcode is tested against the actual processor hardware. This method allows the functionality of a newly designed CPU to be checked in a simulation, even before actual system integration. Advantageously, many problems in this area, relating to the interaction of the microcode and the processor hardware can be found before the actual processor hardware is manufactured. Furthermore, the ongoing verification of the newly designed CPU using the method according to the present invention allows detection of problems with the processor hardware at a relatively early stage.

摘要翻译： 提供了一种用于验证与软件协作的处理器的功能行为的正确性的方法。 此外，该方法允许用微码验证具有其指令集的至少一部分的CPU。 首先，通过使用根据处理器的功能规范以与处理器硬件相同的方式执行的功能仿真器来独立测试微代码。 然后，根据处理器逻辑门的设计，通过使用硬件仿真器以与处理器硬件相同的方式进行微代码测试。 最后，微代码是针对实际的处理器硬件进行测试的。 该方法允许在仿真中检查新设计的CPU的功能，甚至在实际系统集成之前。 有利地，可以在制造实际的处理器硬件之前找到涉及微代码和处理器硬件的交互的该领域中的许多问题。 此外，使用根据本发明的方法的新设计的CPU的持续验证允许在较早的阶段检测处理器硬件的问题。

公开(公告)号：US4853851A

公开(公告)日：1989-08-01

申请号：US942307

申请日：1986-12-16

申请人： Axel Horsch

发明人： Axel Horsch

IPC分类号： G06F11/28 ,  G06F11/00 ,  G06F11/36

CPC分类号： G06F11/3676 ,  G06F11/3636 ,  G06F11/00

摘要： System for analyzing programs by measuring the degree of code coverage of a program being tested during specific test phases. A correlation and comparison of results obtained from both a static and dynamic analysis recording is made. The introduction of a static and dynamic instruction flow indicator permits a determination of the test cover results by correlating the data of the static and dynamic instruction flow indicators. Thus, the number of untested functions can be determined during a test phase of a computer program before sending the data processing system to the field.

摘要翻译： 通过测量在特定测试阶段正在测试的程序的代码覆盖程度来分析程序的系统。 进行静态和动态分析记录获得的结果的相关性和比较。 静态和动态指令流指示器的引入允许通过关联静态和动态指令流指示器的数据来确定测试覆盖结果。 因此，在将数据处理系统发送到现场之前，可以在计算机程序的测试阶段期间确定未测试的功能的数量。