华为IC岗笔试题（部分总结含答案解析

总结一下一部分不太熟悉的题目，顺便把答案和解析放在这里，主要的类型是一些好久没碰的数字电路题，和一些平时不太接触到的概念题，还有经典的异步同步问题

1.形式验证技术

形式验证技术需要外界提供测试向量和时钟激励

答案：错误
解释：
形式化验证能够在芯片设计前期彻底找出一些隐藏较深的 很难发现的设计错误。由于形式化验证不需要测试平台和测试向量

2.竞争冒险现象

答案：D
解释：
竞争：在组合电路中，信号经由不同的途径达到某一会合点的时间有先有后。
冒险：由于竞争引起电路输出发生瞬间错误现象称为冒险。表现为输出端出现了原设计中没有的窄脉冲，常称其为毛刺。
竞争与冒险的关系：有竞争不一定会产生冒险，但有冒险就一定有竞争。
在组合逻辑中，由于门的输入信号通路中经过了不同的延时，导致到达该门的时间不一致叫竞争。
产生毛刺叫冒险。如果布尔式中有相反的信号则可能产生竞争和冒险现象。
链接：https://zhidao.baidu.com/question/152237344.html

3.