位置：成果数据库 > 期刊 > 期刊详情页
利用SMT约束分解方法求解RTL可满足性问题.
  • 期刊名称：计算机辅助设计与图形学学报. 第22卷，第2期，2010年2月(EI 20101512840996)
  • 时间：0
  • 相关项目：基于下一代验证引擎的事务级形式验证方法的研究
同期刊论文项目
基于下一代验证引擎的事务级形式验证方法的研究
期刊论文 6 会议论文 13
同项目期刊论文
Constrained Stimulus Generation with Self-adjusting Using Tabu Search with Memory.
Pipeline-Based Partition Exploration for Heterogeneous Multiprocessor Synthesis.
Processor accelerator customization through data flow graph exploration
基于遗传算法的组合测试用例生成研究
利用SMT约束分解方法求解RTL可满足性问题