广告

新综合工具:360 SystemC/ C++ Extension具备优势与功能

时间:2022-03-02 11:18:20 作者:白皮书 阅读:
对 HLS 代码的仿真式验证在很大程度上是通过编译和调试设计描述来执行的,与 SystemC 类库实现相关联,采用与软件测试相似的方式。由于 SystemC 验证工具的可用性受限,很多验证
广告

对 HLS 代码的仿真式验证在很大程度上是通过编译和调试设计描述来执行的,与 SystemC 类库实现相关联,采用与软件测试相似的方式。由于 SystemC 验证工具的可用性受限,很多验证任务是对生成的综合 RTL 代码执行的,因而引入了一个间接级别,使得在 SystemC/C++ 级别上纠正问题变得复杂而耗时。

使用 OneSpin 360 DV-Inspect™ 形式自动检查,用户可以有效地检测代码编写问题(例如使用来自未初始化存储器读取的未定义值,或使用未定义的运算结果 [例如除以零、数组超出范围])、线程之间的竞争条件,以及 SystemC 特定的自动算术溢出和数字精度问题。

优势
• 在早期进行验证和错误检测
• 在综合之前,对 SystemC/C++ 代码进行详尽的自动验证
• 缩短调试周期
• 提供全面的覆盖率指标,帮助完全了解覆盖率
• 使用常见的综合工具
• 经过业界验证

功能
• SystemC/C++ 语言
o 通用 C/C++,具有静态存储器布局和静态多态
o 标准综合 SystemC
o 高层次综合的模型
o 算法 C/C++ 模型,无浮点类型,例如从 Matlab/Simulink™ 生成的模型
• 形式自动检查
o 初始化/重置检查
o SystemC 的算术溢出和精度检查
o 范围和条件检查
o 线程之间的竞争检测
• 形式化覆盖率分析
o 无用代码检测,代码行/代码块覆 盖率
o FSM 死锁检测,状态/转换覆盖率
o SystemC 和 SystemVerilog 验证平台的生成
o SystemC/C++ 和 RTL 之间的设计一致性检查
• 形式验证应用程序
o 未初始化的内存读取 (UMR) 检查和 X 传播检查
o 使用验证 IP 进行接口协议检查, 包括 ARM APB/AHB/AXI
o 使用记分板验证 IP 进行数据流分析
o 连通性验证
• 基于断言的形式验证
o C-Assert、SystemVerlog 断言、OneSpin TiDAL™ SVA
o 基于 Quantify 模型的突变覆盖率
• 集成的调试器和分析器
 

资料详情 https://mbb.eet-china.com/download/whitepaper/Siemens_20220126_06.html

责编:Quentin
  • 新款iPad Pro 2021成最受欢迎的 由于采用性能相对强大的M1处理器和mini-LED屏幕以及更多的创新,新款iPad Pro 2021已经成为消费者心目中最受欢迎。然而,iPad 2却已经在全球范围内被列入“复古和过时”的名单中。
  • 三星折叠屏手机Galaxy Z Fold 3 目前来看,折叠屏新机作为一种新的生产力工具,逐渐成为高端/平板的一种趋势,有报料称三星的Galaxy Z Fold 3发布时间或为7月,并且会引入新手势操控。
  • Porotech动态像素调整技术实现Micr 由于我们彻底巅覆 GaN 的半导体材料和结构技术,让我们突破在单位像素上呈现全光谱颜色。同时,PoroGaN微显示平台的光电特性,简化了电子和光电系统设计集成的过程。目前微米纳米级的Micro-LED 和 Mini-LED 显示器在制造所需的多阶段工艺仍然具有挑战性,凭借 Porotech 的多孔氮化镓 (GaN) 技术和架构平台,可以大幅简化现有质量转移(Mass Transfer)或拾取和放置(Pick-and-Place)等Micro-LED制程。
  • 豪威集团在AutoSens展会上首次推出 OAX4600可实现无缝隙的驾驶员/乘员监控系统功能和灵活的汽车设计,在较小的封装内集成低功耗的RGB-IR ISP和两个NPU 
广告
热门推荐
广告
广告
广告
EE直播间
在线研讨会
广告
广告
广告
向右滑动:上一篇 向左滑动:下一篇 我知道了