如何设置和管理回归一个轻量级的验证工具。
这个博客提供了一个概述刺痛的释放操作方式。刺设计验证工具的形式发布给最终用户自我提取脚本。脚本可以用来发布包安装在用户的环境。一旦安装软件包,用户需要设置一些环境变量前刺可执行可以构建。
发布包包含输入配置文件、脚本测试生成器和内核二进制文件预构建为一个特定的DUT (design-under-test)。如果DUT不支持浮点扩展、配置文件控制浮点刺激不添加到包中。编译标志(3月/ -mabi)用于构建的测试生成器和内核也适当的设置。预构建生成器和内核二进制发布包中可以非常快速的刺精灵/图像用户。
包还包含一个大的分布(超过25000)回归配置文件可用于生成有趣刺激/交通模式行使任何RISC-V兼容的实现的功能。所有的指令序列生成的刺是可移植的,架构上正确的,自检和验证对模型模拟功能的正确性。回归配置可以用来生成一个特定的指令序列。
回归配置覆盖RISC-V ISA、用户和特权的详细规范。如果所有这些配置都必须以批处理方式运行,用户可以利用刺回归经理效用。
刺的发布包也让片段测试开发框架提供给用户。这可以作为基础RISC-V刺激用户的开发活动。一个更详细的博客将在近期发表。
总结一下,刺发布包旨在提供一个轻量级和快速有效的机制来实现用户的验证的目标。
|
|
|
|
|
|
|
|
留下一个回复