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