位置：成果数据库 > 期刊 > 期刊详情页
谓词抽象技术及其研究进展
  • 期刊名称：《软件学报》, vol. 18, no.1, 2008
  • 时间：0
  • 相关项目：SOC系统级功能验证关键技术研究
作者： 屈婉霞, 李暾, 郭阳, 杨晓东
同期刊论文项目
SOC系统级功能验证关键技术研究
期刊论文 8 会议论文 11
同项目期刊论文
谓词抽象技术研究
基于符号模拟和约束逻辑编程的RT
微处理器体系结构级测试程序自动
基于扩展层次有色Petri网创建SoC
利用UML-RT序列图支持基于事务的
模型检验中抽象技术研究综述
基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法