每日一题-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：文本编辑器

每日一题-3.12-仿真工具相关推荐

每日一题4.12.1
每日一题4.12.1 年会抽奖 ** 参考答案:**
每日一题 20.12.18 LeetCode 389. 找不同java题解
嚯第一次做力扣的每日一题题目 https://leetcode-cn.com/problems/find-the-difference/ 方法一:计数时间复杂度:O(N),其中 N 为字符串的长 ...
【每日刷题3.12】5道算法+15道面试 - 阿V
感觉算法太占时间了,而且刷的差不多了,现在开始专攻面试!加油~明天阿里笔试. 面试题 (一面-项目介绍+基础面) 1. 自我介绍 (游戏测试工程师) 看了多篇文章,说自我介绍不能太短,最好是三分钟,哈 ...
蓝桥杯大赛— —每日一题（12、城堡问题）
[题目描述] = Wall | = No wall = No wall 图1是一个城堡的地形图.请你编写一个程序,计算城堡一共有多少房间,最大的房间有多大.城堡被分割成m*n(m≤50,n≤50)个方 ...
每日一题（12）—— .h头文件中ifndef/define/endif的作用
.h头文件中ifndef/define/endif的作用? 分析: 防止头文件被重复包含. #ifndef _TEST_H_ #define _TEST_H_/* test.h */#endif / ...
安卓每日一题 2019年9-12月问题及答案
最新文章连接,本文不再同步安卓每日一题 2019年9-12月问题及答案文章目录安卓每日一题 2019年9-12月问题及答案安卓2019年09月每日一题安卓2019年10月每日一题安卓 ...
电动力学每日一题 2021/10/12
电动力学每日一题 2021/10/12 (a) To make the EM field trapped inside a perfectly electric conducting cavity, ...
每日三题 12.20
群公告 2022.12.19每日三题答案BDD 1.项目可交付成果已移交给客户,项目经理现在必须收集项目参与者的反馈意见.项目经理应该查阅哪份文件来确定哪些人应该被包含进请求反馈意见的名单中? ...
24考研数学每日一题(带解析)2023年12月1日-2023年12月31日
title: 24考研数学每日一题Latex版(带解析) date: 2023-01-28 11:49:26 plugins: mathjax tags: 学习考研 categories: 考研数学 ...
12行代码AC_Leecode 495. 提莫攻击——Leecode每日一题系列
今天是坚持每日一题打卡的第十五天题目链接:https://leetcode-cn.com/problems/teemo-attacking/ 题解汇总:https://zhanglong.blog. ...

每日一题-3.12-仿真工具

每日一题-3.12-仿真工具相关推荐

最新文章

热门文章