使用SystemC加快验证


高级副总裁Brett Cline OneSpin解决方案,解释了形式验证添加到高级合成流可以减少所花费的时间在优化和调试约三分之二,为什么这个RTL前需要做得很好,从初始化等问题,内存越界等问题,很难找到在模拟。»阅读更多

Baidu