PSL逻辑及验证技术研究进展与展望 (2010年) 时间:2021-05-23 04:42:54 【文件属性】: 文件名称:PSL逻辑及验证技术研究进展与展望 (2010年) 文件大小:851KB 文件格式:PDF 更新时间:2021-05-23 04:42:54 工程技术 论文 在简要介绍 PSL的分层结构和语法与语义基础上,综述了 PSL验证技术的应用研究现状,分析了各种方法、技术的优缺点,最后指出了 PSL验证技术的未来研究展望。 立即下载