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设计方法研究