cache storage; formal verification; multiprocessing systems; storage management;
机译:验证Motorola MPC7450微处理器的嵌入式自定义内存的正式框架
机译:对pSeries微处理器和通信子系统的设计进行功能形式验证
机译:对pSeries微处理器和通信子系统的设计进行功能形式验证
机译:记忆管理单元微处理器的正式设计和验证
机译:在微处理器和存储系统的形式验证中自动生成不变量。
机译:使用统计模型检查正式验证启发式自主交叉管理
机译:对带有内存管理单元的处理器的正式验证
机译:对一组内存管理单元的正式验证