Design verification method, design verification device for microprocessors, and pipeline simulator generation device

A design verification device for microprocessors, comprising:

• an input section for inputting a pipeline specification of a microprocessor as a target in design described in a description language readable and analyzable by a computer;
• a simulator generation section for generating a pipeline simulator by the computer based on the pipeline specification input through the input section;
• a program generation section for generating verification programs by the computer based on the pipeline specification input through the input section;
• a RTL simulation execution section for executing a pipeline simulation of a RTL description based on the verification programs generated by the program generation section and the RTL description of the microprocessor;
• a pipeline simulation execution section for executing a pipeline simulation based on the verification programs generated by the program generation section and the pipeline simulator generated by the simulator generation section;
• and
• a comparison section for comparing a result of the simulation executed by the RTL simulation execution section and a result of the pipeline simulation executed by the pipeline simulation execution section, and verifying an operation of the pipeline of the microprocessor based on a comparison result.