是否Func.Simulation需要测试向量...？

[giggs11]

嗨，

感谢帮助。只是一个在最终查询功能仿真....，并威盛康类似的形式运作
， 验证...？

威盛康要求将测试向量...？因为我知道
， 在形式验证，功能是通过与HDL设计和门级网表的比较核实。

谢谢。

 

[Guest]

[No message]

 

[Guest]

风险投资是动态的模拟工具
， 例如形式上的正式验证工具的不同，所以你需要编写测试平台
， 并使用测试向量来验证你的设计。