推广化符号轨迹赋值(Generalized Symbolic Trajectory Evaluation)
...本课题在较为全面、深入地研究和总结国内外形式验证技术研究成果的基础上,对当前主流形式化验证方法中的推广化符号轨迹赋值(GSTE)验证方法进行了深入的研究和扩展,以期进一步减少伪报错现象,提高GSTE验证方法在集成电路验证中的正确性。
基于30个网页-相关网页
在最近的一些年,GSTE(广义符号轨迹赋值,Generalized symbolic trajectory evaluation)是对STE扩展最成功的一个理论,GSTE可以验证无限时间性质,同时还可以进行后向模拟,由...
基于16个网页-相关网页