来源
本文中的例题几乎均来自咸鱼FPGA:https://www.cnblogs.com/xianyufpga
那里给出了所有例题及解答。我在这里就是对例题里自己了解还不够深入的问题做一个整理,并给出我的解答,或者对原文进行一些摘抄。
例题
1.什么是流水线冒险?
这里的流水线冒险特指MCU中的流水线可能出现的冒险,包括:资源冲突、数据依赖、控制依赖。
更具体的解释,请看我的这篇博客的摘要下面的几个章节。这里仅给出每种冒险的解决方案。
- 资源冲突 -> 产生气泡
- 数据依赖 -> 转发
- 控制依赖 -> 流水线冲刷
2.形式验证和功能验证的区别?
注意形式验证是通过专门的形式验证工具来实现的,它可以在设计早期进行(RTL阶段),且不需要激励信号。
3.HVT, LVT, SVT 各有什么特点?
LVT:低阈值 这种库的漏电流较大,但是开启快,延迟较小。
SVT:标准阈值 居于两者中间。
H