每日一题-3.12-仿真工具

12. 不属于数字芯片验证仿真工具的是(B)

A. Modelsim

B. formality

C. VCS

D. Ncsim

答案:B

解析:目前常用的数字EDA仿真工具

  • Synopsys的vcs, (Verilog Compiler Simulator)
  • Cadence的NCsim (Incisive Enterprise Simulator的core simulation engine), 和
  • Mentor Graphics的ModelSim/Questa

Formality形式验证主要验证综合后,生成的网表文件功能和之前的verilog文件功能是否一致。这是IC设计中的一个步骤,输入需要verilog文件和网表文件

属于数字逻辑仿真的EDA工具是(C)

A. DC

B. primeTime

C. Questasim

D. gvim

答案:C

解析:

DC:逻辑综合工具,将verilog描述的硬件电路综合成符合工艺库器件构成的网表

Prime Time:静态时序分析工具

gvim:文本编辑器

你可能感兴趣的:(每日一题)