咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 28 篇 期刊文献
  • 6 篇 学位论文
  • 2 篇 会议

馆藏范围

  • 36 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 23 篇 工学
    • 12 篇 计算机科学与技术...
    • 8 篇 电子科学与技术（可...
    • 6 篇 软件工程
    • 3 篇 机械工程
    • 2 篇 建筑学
  • 7 篇 理学
    • 5 篇 统计学（可授理学、...
    • 4 篇 数学
    • 1 篇 物理学
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 2 篇 艺术学
    • 2 篇 设计学（可授艺术学...
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 文学
    • 1 篇 中国语言文学
  • 1 篇 医学
  • 1 篇 管理学
    • 1 篇 公共管理

主题

  • 36 篇 等价性检验
  • 8 篇 形式验证
  • 5 篇 假设检验
  • 5 篇 组合电路
  • 5 篇 二项分布
  • 4 篇 bdd
  • 3 篇 概率论
  • 3 篇 渐近正态检验
  • 3 篇 设计验证
  • 3 篇 p-值
  • 3 篇 集成电路
  • 2 篇 存储元素映射
  • 2 篇 非劣性检验
  • 2 篇 统计量
  • 2 篇 中国卫生统计
  • 2 篇 符号模拟
  • 2 篇 《红楼梦》
  • 2 篇 模型检验
  • 2 篇 情景指标
  • 2 篇 功效函数

机构

  • 6 篇 浙江林学院
  • 3 篇 西安电子科技大学
  • 3 篇 哈尔滨工程大学
  • 2 篇 中国科学院计算技...
  • 2 篇 成都信息工程学院
  • 2 篇 中国科学院成都计...
  • 1 篇 华西医科大学
  • 1 篇 国防科学技术大学
  • 1 篇 东南大学
  • 1 篇 驻马店市高级技工...
  • 1 篇 闽江学院
  • 1 篇 宁波大学
  • 1 篇 重庆理工大学
  • 1 篇 西安邮电学院
  • 1 篇 江苏淮海工学院
  • 1 篇 哈尔滨金融学院
  • 1 篇 中国科学院计算技...
  • 1 篇 炎黄职业技术学院
  • 1 篇 大同大学
  • 1 篇 华东师范大学

作者

  • 7 篇 李光辉
  • 4 篇 曾琼
  • 4 篇 邵明
  • 4 篇 李晓维
  • 3 篇 曾松伟
  • 2 篇 韦博成
  • 2 篇 郭海兵
  • 2 篇 范全润
  • 1 篇 程东波
  • 1 篇 徐国培
  • 1 篇 夏银水
  • 1 篇 穆铮
  • 1 篇 朱青
  • 1 篇 刘建元
  • 1 篇 李东海
  • 1 篇 倪宗瓒
  • 1 篇 张永进
  • 1 篇 林施鑫
  • 1 篇 臧得宝
  • 1 篇 何杰

语言

  • 36 篇 中文
检索条件"主题词=等价性检验"
共 36 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
通用CPU设计验证中的等价性检验方法
收藏
分享
引用
计算机辅助设计与图形学学报 2005年 第2期17卷 230-235页
作者： 李光辉 邵明 李晓维 浙江林学院信息工程学院 杭州311300 中国科学院计算技术研究所信息网络研究室
针对传统的模拟验证方法需要大量的时间且难以获得完全的覆盖率的局限性 ,提出了目前应用最广泛的一种形式验证方法———等价性检验在一款通用CPU设计验证中的应用方案 ,包括寄存器传输级 (RTL)设计与门级网表、门级网表与门级网表、RT... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
片上系统高层等价性检验研究进展
收藏
分享
引用
计算机辅助设计与图形学学报 2016年 第3期28卷 371-380页
作者： 胡健 李暾 李思昆 国防科学技术大学计算机学院 长沙410073
针对近年来SoC领域的工作,首先分析了高层等价性检验的难点;然后从算法类型归类角度对各种高层等价性检验方法进行了概述评论,同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高层等价性检验方法目前面临的挑战,并... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
定点算术数据通路的等价性检验方法
收藏
分享
引用
计算机辅助设计与图形学学报 2009年 第1期21卷 27-32页
作者： 李东海 马光胜 胡靖 哈尔滨工程大学计算机科学与技术学院 哈尔滨150001
以vanishing多项式理想的极小强Grbner基为理论基础,提出一种针对定点算术数据通路的等价性检验方法.通过使用多项式函数建模定点数据通路的设计规范和寄存器传输级实现,将等价性检验问题转化为判断一个多项式函数是否为vanishing多项式... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于增量可满足性的等价性检验方法
收藏
分享
引用
计算机学报 2004年 第10期27卷 1388-1394页
作者： 李光辉 李晓维 浙江林学院信息工程学院 杭州311300 中国科学院计算技术研究所
组合验证是数字集成电路形式化设计验证的重要方面 .该文提出了一种基于增量布尔可满足性的组合等价性检验方法 ,通过合理选择候选等价结点和增量可满足性算法来提高算法性能 ,并通过对内部等价结点的置换及将等价关系转化为相应的合取... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
《红楼梦》前80回与后40回某些文风差异的统计分析(两个独立二项总体等价性检验的一个应用)
收藏
分享
引用
应用概率统计 2009年 第4期25卷 441-448页
作者： 韦博成 东南大学数学系 南京210096
本文以数据分析为基础,应用统计学中"两总体等价性检验"的理论和方法,提供了一个强有力的证据:《红楼梦》前80回与后40回在某些重要的情景描写上确实存在非常显著的差异,这一结论的可信概率不低于98%.
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
利用FAN算法进行组合电路的等价性检验
收藏
分享
引用
计算机应用研究 2006年 第12期23卷 25-27页
作者： 曾琼 中国科学院成都计算机应用研究所
讨论了组合电路的等价性检验方法,分析了FAN算法的关键技术。利用该算法进行了组合电路的等价性检验,实验结果表明了该方法的有效性。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
时序电路等价性检验中的存储元素映射方法研究
收藏
分享
引用
计算机科学 2009年 第4期36卷 285-288页
作者： 李光辉 曾松伟 浙江林学院信息工程学院 杭州311300 浙江大学工业控制技术国家重点实验室 杭州310027
随着集成电路规模越来越大,系统的功能日益复杂,功能验证已成为整个设计流程的瓶颈。对于大规模的时序电路,传统基于状态空间遍历的等价性检验方法可能会遇到内存爆炸问题。为了降低等价性检验方法的复杂度,提高验证效率和处理大规模电... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
组合电路等价性检验方法研究
收藏
分享
引用
计算机工程 2007年 第4期33卷 253-255页
作者： 曾琼 闫炜 中国科学院成都计算机应用研究所
分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于存储元素映射的层次化等价性检验方法
收藏
分享
引用
微电子学与计算机 2009年 第5期26卷 48-51页
作者： 李光辉 曾松伟 邵明 浙江林学院信息工程学院 浙江杭州311300 Synopsys公司上海研发中心 上海200050
为了提高验证效率和处理大规模电路的能力,提出了一种基于存储元素映射的层次化等价性检验方法,该方法将功能性和非功能性的映射方法相结合,提高了存储元素匹配的准确性和完备性.针对一款RSICCPU设计完成了两组等价性验证实验,结果表明... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于BDD的组合电路等价性检验方法
收藏
分享
引用
微电子学与计算机 2003年 第2期20卷 48-51,55页
作者： 李光辉 邵明 李晓维 中国科学院计算技术研究所
文章分析了目前常用的等价性检验方法的特点,包括功能性和结构性的验证方法;讨论了基于二叉判决图(BDD)的组合电路等价性检验方法,并分析了等价性检验过程中的误判问题及其消除方法;然后给出了一种关于带黑匣子的部分实现的隐式等价性... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共4页 <<  < 1 2 3 4 >  >> 跳转到页 
回到顶部
执行限定条件