作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

资源模型与系统级描述语言的硬件综合  CNKI文献

为更好地描述分析嵌入式系统的行为,近年来出现了系统级描述语言。但系统级程序通常是目标平台无关的。为了挖掘程序最大的运行性能,需要在设计空间中进行探索,将程序模块映射到各目标器件上,并且将各种有关实现细节的...

金乃咏 导师:何积丰 华东师范大学 2005-11-01 博士论文

关键词: 硬件综合 / 资源模型 / 系统描述语言 / 指称语义

下载(233)| 被引(0)

一种将人造物边界从自然背景中分离的新方法  CNKI文献

对象的边界是图象识别的主要依据 ,但若对象处于一定的自然背景中 ,则自然背景的边界会给识别过程增加计算的负担 ,因此在识别前有必要将对象与背景的边界区别开 .该问题通常是通过基于“试探性阈值的方法”来解决 ,由...

金乃咏 陈树中 《中国图象图形学报》 2000年05期 期刊

关键词: 分形维数 / 分形密度 / 边界提取 聚类分析

下载(90)| 被引(7)

用FPGA的快速进位器优化卫语句的硬件综合  CNKI文献

文章在给出类OCCAM语言卫语句文法与语义的基础上,探讨了当前将其综合为FPGA网表的方法,分析了这种方法的不足。结合FPGA芯片的特性,文章提出了一种基于进位多路器的综合优化方法。试验验证了该方法的有效性,它不但减...

金乃咏 何积丰 《微电子学与计算机》 2006年01期 期刊

关键词: 硬件综合 / FPGA / 资源性能优化

下载(61)| 被引(0)

模型检验中对CTL公式的空属性探测  CNKI文献

在模型检验中建立了一种新方法:检验可计算时态逻辑(CTL)公式描述的系统属性是否为空属性.根据原子命题的极性,用TRUE或FALSE替换原子命题,得到一系列的CTL公式,再对这些CTL公式用模型检验工具验证,若CTL公式中有一个...

郭建 金乃咏 《西安电子科技大学学报》 2007年05期 期刊

关键词: 模型检验 / 空属性探测 / 可计算时态逻辑公式 / 验证综合系统系统

下载(102)| 被引(1)

基于有向图深度优先遍历的组合反馈环路检测算法  CNKI文献

分析了造成数字逻辑设计在仿真过程中出现死循环的一个原因,提出了一种在仿真前发现设计中可能造成仿真时死循环的方法。方法主要分为三个步骤:1)分析数字逻辑设计中形成组合逻辑关系可能的文法形式。2)利用Juliano[1...

倪韬雍 金乃咏 《计算机应用与软件》 2008年06期 期刊

关键词: 组合逻辑反馈 / 仿真 / 可综合设计 / 有向图

下载(219)| 被引(13)

高可信IP核交付标准应用  CNKI文献

随着数字系统的日益复杂,基于IP(Intellectual Property)的设计方法成为缩短开发周期的必然之选。因此,高可信IP核构建技术成为IP核交付及IP核复用成功的关键。主要研究高可信IP核的构建方法,首先阐述高可信IP核,以及...

周娟 金乃咏 《计算机应用与软件》 2009年07期 期刊

关键词: 高可信IP核 / 形式化规范 / 可操作

下载(64)| 被引(0)

基于Mealy机精化关系的验证算法  CNKI文献

与传统验证方法相比,形式验证技术因其完备性,已在数字电路设计领域中得到越来越多的关注。通过对形式验证技术和状态机的研究,在LTL公式的可实现策略基础上,提出一个基于Mealy机精化关系的验证算法,实现了一个搜索工...

梁虹 金乃咏 《计算机应用与软件》 2012年08期 期刊

关键词: 形式验证 / 性质验证 / 精化 / Mealy机

下载(17)| 被引(0)

一种基于约束求解的Verilog语言静态分析方法  CNKI文献

由于硬件描述语言Verilog中存在赋值语句的并发行为,对其验证一直是静态分析技术的一大挑战。针对Verilog程序的正确性问题,提出一种基于布尔约束求解的Verilog验证方法。通过分析Verilog语义特点,采用分步编码的方式...

黄赛杰 陈铭松... 《计算机应用与软件》 2015年12期 期刊

关键词: 硬件设计 / 静态分析 / 模型检验 / 符号执行

下载(44)| 被引(1)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

史铁生评传