首页>
外国专利>
Method and apparatus for verifying the fine-grained correctness of a behavioral model of a central processor unit
Method and apparatus for verifying the fine-grained correctness of a behavioral model of a central processor unit
展开▼
机译:用于验证中央处理器单元的行为模型的细粒度正确性的方法和装置
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method and an apparatus checks the fine-grain correctness of a microcode machine central processor unit (CPU) behavioral model. Macroinstructions are decomposed into microinstructions and each microinstruction is executed sequentially. A sequence of microinstructions is determined by an emulated microinstruction sequencer, using dynamic execution information, including information from execution of prior microinstructions in the sequence of microinstructions. At the end of execution of each microinstruction, a reference state is compared to a corresponding state of the behavioral model, and any differences are noted. After execution of all microinstructions in the microinstruction sequence, a reference state is compared to a corresponding state of the behavioral model, and any differences are noted.
展开▼