Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution.

著录项

• 作者

  Jones, R. B.; Skakkebaek, J. U.; Dill, D. L.;

  展开▼
• 作者单位

  展开▼
• 年度 2002
• 页码 1-16
• 总页数 16
• 原文格式 PDF
• 正文语种 eng
• 中图分类 工业技术;
• 关键词

  Computer logic; Processing equipment; Computer program verification; Buffers; Verification; Microprocessors; Scheduling; Instructions; Architecture; Logic;

  机译：计算机逻辑;处理设备;计算机程序验证;缓冲器;验证;微处理器;调度;指令;体系结构;逻辑;