总结一下一部分不太熟悉的题目,顺便把答案和解析放在这里,主要的类型是一些好久没碰的数字电路题,和一些平时不太接触到的概念题,还有经典的异步同步问题
文章目录
1.形式验证技术
形式验证技术需要外界提供测试向量和时钟激励
答案:错误
解释:
形式化验证能够在芯片设计前期彻底找出一些隐藏较深的 很难发现的设计错误。由于形式化验证不需要测试平台和测试向量
2.竞争冒险现象
答案:D
解释:
竞争:在组合电路中,信号经由不同的途径达到某一会合点的时间有先有后。
冒险:由于竞争引起电路输出发生瞬间错误现象称为冒险。表现为输出端出现了原设计中没有的窄脉冲,常称其为毛刺。
竞争与冒险的关系:有竞争不一定会产生冒险,但有冒险就一定有竞争。
在组合逻辑中,由于门的输入信号通路中经过了不同的延时,