首页>
外国专利>
Verifying logic design of a processor with an instruction pipeline by comparing the output from first and second instances of the design
Verifying logic design of a processor with an instruction pipeline by comparing the output from first and second instances of the design
展开▼
机译:通过比较设计的第一实例和第二实例的输出来验证具有指令流水线的处理器的逻辑设计
展开▼
页面导航
摘要
著录项
相似文献
摘要
A logic design for a processor execution unit includes an instruction pipeline 10 with one or more pipeline stages 12 for executing a plurality of instructions. A method of formal verification of the logic design involves selecting an instruction from the plurality of instructions and may verify the processing of that instruction using formal model checking. A design under test is created by using a first 30 and a second 32 instance of the logic design. The first instance 30 is initialized with defined values in each instruction pipeline stage and the second instance 32 with random initial values in each pipeline stage. The instruction is then simultaneously issued to each instance, executed and a comparison of the results output from the instruction pipelines is made 16. If the instruction was verified by formal model checking, approving the correctness of the logic design if the comparison result is true. If the instruction was not verifiable by formal model checking, approving the correctness of a sequenced computation if the comparison result is true.
展开▼