位置:成果数据库 > 会议 > 会议详情页
Equivalence Checking Between SLM and TLM Using Coverage Directed Simulation
  • 所属机构名称:中国人民解放军国防科学技术大学
  • 会议名称:The 13th International Conference on Computer-Aided Design and Computer Graphics (CAD/Graphics 2013)
  • 时间:2013
  • 成果类型:会议
  • 相关项目:基于可编程数据流计算的粗粒度可重构SoC设计方法研究
同会议论文项目
同项目会议论文