某半导体公司数字IC验证实习笔试题.docxVIP

某半导体公司数字IC验证实习笔试题.docx

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

一、选择题（每题只有一个正确答案，请将正确答案的选项字母填写在题号后括号内。每题2分，共20分）

1.下列哪一项不属于组合逻辑电路的特点？

A.输出仅取决于当前输入

B.具有记忆功能

C.由逻辑门和触发器构成

D.输出状态随时间变化

2.在Verilog中，用于表示连续赋值的语句是？

A.`always`

B.`assign`

C.`initial`

D.`task`

3.下列哪种验证方法不属于功能验证？

A.仿真验证

B.形式验证

C.时序验证

D.覆盖率分析

4.语句覆盖率的含义是？

A.所有输入组合的覆盖率

B.所有逻辑门的覆盖率

C.所有代码行的覆盖率

D.所有条件的覆盖率

5.下列哪种工具不属于形式验证工具？

A.FormalPro

B.ModelSim

C.SpyGlass

D.VCS

6.在设计测试用例时，等价类划分方法的主要目的是？

A.提高测试用例的覆盖率

B.减少测试用例的数量

C.确保测试用例的