...
机译:通过行为覆盖和部分展开对流水线和超标量控件进行无固定形式验证
formal verification; processor; pipeline; superscalar;
机译:在超标量和VLIW微处理器的形式验证中有效使用布尔可满足性过程
机译:分析异步管道对软错误的漏洞:利用形式验证
机译:复杂流水线处理器的形式验证
机译:来自管道和超卡设计的正式验证的高级微处理器错误的集合
机译:根据交易数据路径规范自动进行管道综合和形式验证。
机译:网络物理系统中控制模块的正式验证
机译:从流水线和超标量设计的形式验证中收集高级微处理器错误
机译:部分规范验证和验证的形式化方法:案例研究