论文部分内容阅读
针对当前可重定向的模拟器生成平台的需求和现有的处理器模型的缺陷,提出了一种基于事件B的处理器模型EBPM(EventBbasedProcessorModel)。利用事件B中的抽象系统,通过资源、指令和控制三个子模型从结构、行为和时序三方面对处理器进行建模,每个子模型中分别由抽象系统的状态和事件两部分刻画其静态行为和动态行为。该模型不但具有很强的灵活性和扩展性,还支持指令级和周期级两个层次的建模。通过对MIPS处理器的流水线进行形式化建模的实例说明了EBPM的有效性。