...本课题在较为全面、深入地研究和总结国内外形式验证技术研究成果的基础上,对当前主流形式化验证方法中的推广化符号轨迹赋值(GSTE)验证方法进行了深入的研究和扩展,以期进一步减少伪报错现象,提高GSTE验证方法在集成电路验证中的正确性。
基于30个网页-相关网页
在最近的一些年,GSTE(广义符号轨迹赋值,Generalized symbolic trajectory evaluation)是对STE扩展最成功的一个理论,GSTE可以验证无限时间性质,同时还可以进行后向模拟,由...
基于16个网页-相关网页
...式验证技术研究成果的基础上,对当前主流形式化验证方法中的广义符号轨迹赋值(generalized symbolic trajectory evaluation, GSTE)[2-3]验证方法进行了深入的研究和拓展,修改断言图及其验证算法使之能更简洁的描述和验证数字电路的并...
基于1个网页-相关网页
...验证技术研究成果的基础上,对当前主流形式化验证 方法中的广义符号轨迹赋值(generalizedsymbolictrajectoryevaluation,GSTE)tZ-3】验 证方法进行了深入的研究和拓展,修改断言图及其验证算法使之能更简洁的描述 和验证数字电路...
基于1个网页-相关网页
应用推荐