(A7)专题讨论2:形式验证与模拟验证

【作者】 韩俊刚； 吴为民； 李暾； 杜慧敏；

【机构】 西安邮电学院； 清华大学； 国防科技大学；

【摘要】 A7．1基于约束求解的验证问题,吴为民基于约束求解的验证技术及其研究现状介绍布尔SAT、RTL SAT、以及CSP 问题之间的关系及其适用性 RTL的字／位混合可满足性求解未来的研究点 A7．2 SoC系统级功能验证,李暾谓词抽象基于UML和SystemC的验证技术未来的研究点 A7．3 PSL及其应用,杜慧敏 PSL简要介绍 PSL与线性时态逻辑(LTL)、ω-自动机之间的关系 PSL应用举例更多还原