位置：成果数据库 > 会议 > 会议详情页
Mapping of Pipeline Flow Chart onto Mesh-based Multi-core NoC Architecture
  • 所属机构名称：复旦大学
  • 会议名称：International Conference on Solid-State and Integrated Circuit Technology
  • 成果类型：会议
  • 会场：shanghai
  • 相关项目：EDA形式验证中可满足性(SAT)问题的算法研究
作者： Liang Liu|Zhiyi Yu|Haofan Yang|Ruijin Xiao|Ming-e Jing|
同会议论文项目
EDA形式验证中可满足性(SAT)问题的算法研究
期刊论文 7 会议论文 3
同项目会议论文
A Folding Strategy for SAT Solvers based on Shannon’s Expansion Theorem
Enhance SAT Conflict Analysis for Model Checking