%0 Journal Article
%T A Register-Oriented Modeling and Verification Method for Pipeline Microprocessor<br>面向寄存器的流水线处理器建模及验证方法
%A He Hu
%A Sun Yihe
%A <br>何虎
%A 孙义和
%J 半导体学报
%D 2003
%I 
%X A new function verification method,register-oriented function verification method for pipeline microprocessor is presented.The main idea of the verification method is that verifying the function of each register to prove that the function of the whole design is correct.The pipeline microprocessors are almost made up of synchronous circuits.The current state of the synchronous circuits is decided by the state of registers.If the function of every register is correct,the function of the whole synchronous circuits is also correct.The state transfer of registers lies on the state of registers themselves and the primary input of the synchronous circuits.But in the final analysis,the state transfer of registers is decided by the primary input.This method can find an input data sequence to verify the function of all registers by comparing the response of the circuits under verifying and its reference model.The method is fit for debugging very much.
%K register-oriented
%K design verification
%K pipeline microprocessor
%K formal verification<br>面向寄存器
%K 设计验证
%K 流水线处理器
%K 形式验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=1319827C0C74AAE8D654BEA21B7F54D3&jid=025C8057C4D37C4BA0041DC7DE7C758F&aid=1EE6775D98543694&yid=D43C4A19B2EE3C0A&vid=B91E8C6D6FE990DB&iid=CA4FD0336C81A37A&sid=10F298ED9F164662&eid=89F76E117E9BDB76&journal_id=1674-4926&journal_name=半导体学报&referenced_num=2&reference_num=8