CHIMP:SystemC 模型基于断言的动态验证工具-开源

CHIMP 是一种基于断言的 SystemC 模型动态验证工具。 CHIMP 的各种功能包括根据时间断言自动生成监视器、自动检测验证模型 (MUV)，以及在受监视的执行过程中 MUV、生成的监视器和 SystemC 仿真内核之间的三路通信。仪表化的MUV。 实证结果表明，CHIMP 将最小的运行时开销放在受监控的 MUV 执行上。 CHIMP 中新增的路径显着（超过 75%）减少了平均监视器生成和编译时间。 监视器的平均大小减少了60％以上，而没有增加运行时的开销。