中文 英语

使用SystemC加速验证

HLS plus formal如何显著减少优化和调试时间。

人气

oneespin Solutions的高级副总裁Brett Cline解释了如何将正式验证添加到高级合成流程中,可以将优化和调试的时间减少约三分之二,为什么这需要在RTL之前完成,从初始化等问题开始,内存出界和其他在模拟中很难发现的问题。



留下一个回复


(注意:此名称将公开显示)