如何快速确定设计没有testbenches等价或模拟运行。
移动不计时的c++设计描述通过高级合成(HLS)流,设计师不知道生成的,定时的RTL的功能相当于原始的、高层次的描述。当他们作出改进或优化RTL权力,他们自然是担心这些变化不再满足原来的规格。他们可以创建testbenches并运行验证流程的每一步,但这需要太多的时间和可以破坏一个生产计划。设计师们真正需要的是一个快速的方法确定设计等价不需要testbenches和模拟运行。这就是正式、时序逻辑等价检查SLEC HLS救援。在本白皮书中,学习为什么SLEC HLS弹射器验证流程中重要的一块,它是如何工作的,以及为什么该工具在市场上是独一无二的。
点击阅读更多在这里。
|
|
|
|
|
|
|
|
|
|
留下一个回复