这是Calypto的系统级等价检查工具(System Level Equivalence Checking,SLEC)所要解决的问题。SLEC SYSTEM可以对对等的功能进行验证,或者对系统级模型功能上的差别进行定位...
基于1个网页-相关网页
system level equivalence checking
系统级等效性检查
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动