笔误fpga随机断言随机比对定向比对定向测试代码检查占bug总量.pptVIP

The Verification of UniCore-II Microprocessor Sun Hanxin Peking University Microprocessor RD Center Outline Introduction to UniCore-II microprocessor Simulation-based verification methodology Bug driven activity Conclusions and future work Pkunity-3 Architecture UniCore-II Microprocessor UniCore Frequency: 600MHz 32-bit harvard-architecture RISC CPU UniCore32 instruction set compatible Add conditional mov BLX instructions 8-stage instruction pipeline Dynamic prediction policy: G-share Pipelined ID Cache Two-level TLB Design Verification Problem Functional verification is widely recognized a