METHOD AND DEVICE FOR VERIFYING DESIGN OF MICROPROCESSOR AND PIPELINE SIMULATOR GENERATION DEVICE

摘要

PROBLEM TO BE SOLVED: To verify the pipeline operation of a microprocessor with high accuracy and also with satisfactorily high efficiency. SOLUTION: A pipeline simulator and a verification program are generated according to the pipeline specifications which are described so that a computer can understand them and then the pipeline operation is verified on the basis of the result of simulation of RTL description that is carried out according to the verification program and the RTL description and also on the basis of the result of pipeline simulation that is carried out according to the verification program and the pipeline simulator.