位置：成果数据库 > 会议 > 会议详情页
2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions.
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 成果类型：会议
  • 相关项目：嵌入式流媒体处理SOC设计平台及设计方法研究
同会议论文项目
嵌入式流媒体处理SOC设计平台及设计方法研究
期刊论文 20 会议论文 15
同项目会议论文
SoC数据映射中的快速应用程序存储分析方法
Comparison and analysis of novel architectures for media compression.
Mapping applications on coarse-grained reconfigurable systems using architecture template modeling.
一种新的基于平台的SoC事务级协同综合方法
核心循环到粗粒度可重构体系结构的流水化映射
Distributed collaborative partition method of reconfigurable SoC using ant colony optimization.
A New Application Feature Analysis Approach for System-on-Chip Hardware/Software.
Crossbar Bus Synthesis On Transaction Level Using Genetic Algorithm
Collaborative hardware/software partition of coarse-grained reconfigurable system using evolutionary
Automatic Crossbarbus-Based System Level Communication Synthesis
软硬件划分中的应用程序存储分析
System level design in embedded stream media process system-on-chip using application profiling.
A Heterogeneous Multicore SoC Optimized for Embedded Visual Media Process.
Application-driven System-on-Chip System Model Extraction Approach.