作品总结
《增强型虚拟样机：以 RISC-V 案例研究为特色》
本书介绍了一套全面的技术，可增强基于现代虚拟原型（VP）的设计流程的所有关键方面。作者强调了自动化的形式验证方法，以及为基于SystemC的VP和相关软件（SW）量身定制的高级覆盖引导分析和测试技术。
本书的覆盖范围还包括处理功能和非功能方面的 VP 建模技术，还描述了硬件和 VP 级别之间的对应分析，以利用不同抽象级别可用的信息。所有方法都经过详细讨论和广泛评估，使用多个实验来证明它们在增强基于 VP 的设计流程方面的有效性。
此外，本书还特别关注现代RISC-V ISA，并提供了几个案例研究，涵盖了建模以及VP和软件验证方面。
客服咨询
400 093 7005
周一至周日：09:00AM-21:00PM
微信扫码关注
小程序扫码注册
0条评论