为了显著地加快验证速度并处理每天都在变化的复杂算法,许多公司正在转向高级综合(HLS)方法。但是,高级c++模型的正确性是极其重要的。此外,c++语言具有在模拟过程中很难捕捉到的歧义。即使正确编写,高级模型也可能以次优方式编码,导致合成后出现意想不到的硬件。在c++仿真中可能会出现问题,或者导致该仿真与RTL仿真之间的仿真不匹配。或者,一个问题可能完全没有被发现。本白皮书介绍了如何通过使用弹射设计检查器来解决所有这些问题。
如需阅读更多,请点击在这里.
Imec的计算路线图;美国对华为为目标;美印。特遣部队;China-Bolivia交易;布鲁克揭开了白光干涉测量系统;三星量化可持续性;麦肯锡指出了美国晶圆厂建设的问题;发光二极管。
留下回复