• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"机构=国防科学技术大学第六十三研究所"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
SoC高级综合验证研究进展
收藏
分享
引用
《计算机辅助设计与图形学学报》2021年 第2期33卷 287-297页
作者：胡健 胡永扬 王观武 陈桂林 杨海涛 康云 王康 李思昆国防科学技术大学第六十三研究所南京210000 国防科学技术大学计算机学院长沙410000 
针对近年来片上系统(system on chip,SoC)高级综合验证领域的工作,首先分析了高级综合验证的难点,然后根据应用领域将算法分为3类:高级综合前端验证算法、高级综合调度验证算法和高级综合后端验证算法.同时分析了各类算法的优缺点和现...
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部