2026年计算机基础大学期末结业考试试卷计算机体系结构可验证性分析含解析.docx

2026年计算机基础大学期末结业考试试卷计算机体系结构可验证性分析含解析

考试时间：______分钟总分：______分姓名：______

一、填空题

1.在体系结构设计中，通过在设计中引入特定的结构或逻辑，使得系统更容易被测试，这种设计思想被称为__________设计。

2.__________是一种常用的可测试性设计技术，通过在电路中添加额外的逻辑，在不影响功能的前提下，生成测试码并观察响应。

3.为了验证设计的特定功能或属性，形式化验证通常需要使用一种称为__________的形式化语言来精确描述规范或设计。

4.__________是指系统或设计在多