机译:基于软件的自我测试,使用有限模型检查超出Unslard Superscalar处理器
Tongji Univ Shanghai 201804 Peoples R China;
Duke Univ Dept Elect & Comp Engn Durham NC 27708 USA;
Linkoeping Univ Linkoping Sweden;
Linkoeping Univ Linkoping Sweden;
Chinese Acad Sci Inst Comp Technol Beijing 100190 Peoples R China;
Linkoeping Univ Linkoping Sweden;
Tongji Univ Shanghai 201804 Peoples R China;
Circuit faults; Built-in self-test; Out of order; Model checking; Integrated circuit modeling; Bounded model checking (BMC); online testing; out-of-order superscalar processors; software-based self-testing (SBST);
机译:超标量故障处理器的机械性能模型
机译:探索乱序超标量处理器中数据流SIHFT技术的局限性
机译:超标量无序软处理器的高性能指令调度电路
机译:使用有界模型检查的基于软件的片上网络在线自测试
机译:使用跟踪快速,准确地建模乱序的超标量处理器性能。
机译:EXPLORER全身PET扫描仪基于软件的重合处理器的性能评估
机译:利用跟踪快速,准确地建模乱序的超标量处理器性能