瑞士奶酪模型应用的策略。
在一段时间内,特定于应用程序的指令处理器(asip)为专门开发的应用程序。这些需要多学科的团队有足够的专业知识来开发指令集,微体系结构和软件工具链。很少有公司有正确的组合的技能开发asip所以开发相对较少。
随着RISC-V游戏的出现已经改变了。现在可以更容易地设计专用的计算单位和所涉及的工程师们需要一个更广泛的社区。尽管处理器设计师RISC-V带来了好处,但它并没有帮助验证。
验证RISC-V处理器验证处理器与另一个ISA没有什么不同。与更广泛的社区参与开发或修改RISC-V处理器,需要有更大的意识如何有效地验证处理器。处理器验证然而,从来不是简单但是需要结合多个验证技术的优势。
这技术论文考虑如何有效地验证RISC-V处理器使用多层次的方法称为瑞士奶酪模型改编自世界的航空电子设备。
点击在这里阅读更多。
|
|
|
|
|
|
|
|
|
|
留下一个回复