面向寄存器的流水线处理器建模及验证方法

• A Register-Oriented Modeling and Verification Method for Pipeline Microprocessor