主题中讨论的其他器件: HALCOGEN
您好!
在 上一篇博客文章中,QJ Wang 对 SAFETI-HALCOGEN-CSP 作了如下陈述
如果你使用同样的版本编译器和同样的版本 HalCoGen、你可以使用 HalCoGen CSP 随附的报告。
这是否意味着有一种方法可以避免重复进行 HalCoGen 生成的代码的单元测试、而只需重新使用现有的测试结果报告、覆盖报告等? 或者有必要获得 LDRAUnit 许可证并为项目专用的 HalCoGen 配置重新生成单位测试吗?
还有其他的帖子,如 这个 声明 CSP 封装是免费的? 为什么请求页面会提及12'000$/25'000$个价格标签?
感谢您的回答。
此致、
亚伦