MICROPROCESSORS; COMPUTER SYSTEMS DESIGN; PIPELINING (COMPUTERS); ARCHITECTURE (COMPUTERS); MULTIPROCESSING (COMPUTERS); DATA PROCESSING EQUIPMENT; COMPUTER SYSTEMS PERFORMANCE; REGISTERS (COMPUTERS); THEOREM PROVING;
机译:z990超标量,多书微处理器组合的功能验证
机译:z990超标量,多书微处理器组合的功能验证
机译:在超标量和VLIW微处理器的形式验证中有效使用布尔可满足性过程
机译:多问题,无序,超标量Alpha处理器-DEC Alpha 21264微处理器的功能验证
机译:建筑漏洞估算的跨层方法,提高超高焦微处理器的可靠性
机译:研究过程验证的工业方法论(IMPROVER):系统生物学验证
机译:从流水线和超标量设计的形式验证中收集高级微处理器错误
机译:验证超标量微处理器的系统方法