搜索筛选:
搜索耗时0.8319秒,为你在为你在102,285,761篇论文里面共找到 8 篇相符的论文内容
发布年度:
[学位论文] 作者：金乃咏,,
来源：华东师范大学 年份：2006
为更好地描述分析嵌入式系统的行为,近年来出现了系统级描述语言。但系统级程序通常是目标平台无关的。为了挖掘程序最大的运行性能,需要在设计空间中进行探索,将程序模块映...
[期刊论文] 作者：梁虹,金乃咏,,
来源：计算机应用与软件 年份：2012
与传统验证方法相比,形式验证技术因其完备性,已在数字电路设计领域中得到越来越多的关注。通过对形式验证技术和状态机的研究,在LTL公式的可实现策略基础上,提出一个基于Mealy机精化关系的验证算法,实现了一个搜索工具原型:支持算术表达式的LTL性质描述,在设计......
[期刊论文] 作者：郭建,金乃咏,
来源：西安电子科技大学学报 年份：2007
在模型检验中建立了一种新方法：检验可计算时态逻辑（CTL）公式描述的系统属性是否为空属性．根据原子命题的极性，用TRUE或FALSE替换原子命题，得到一系列的CTL公式，再对这些CTL公式用模......
[期刊论文] 作者：周娟,金乃咏,,
来源：计算机应用与软件 年份：2009
随着数字系统的日益复杂,基于IP(Intellectual Property)的设计方法成为缩短开发周期的必然之选。因此,高可信IP核构建技术成为IP核交付及IP核复用成功的关键。主要研究高可信IP核的构建方法,首先阐述高可信IP核,以及高可信IP核应具有的特点;然后在国内外各大IP......
[期刊论文] 作者：金乃咏,何积丰,,
来源：微电子学与计算机 年份：2006
文章在给出类Occam语言卫语句文法与语义的基础上，探讨了当前将其综合为FPGA网表的方法．分析了这种方法的不足。结合FPGA芯片的特性，文章提出了一种基于进位多路器的综合优化方......
[期刊论文] 作者：倪韬雍,金乃咏,,
来源：计算机应用与软件 年份：2008
分析了造成数字逻辑设计在仿真过程中出现死循环的一个原因,提出了一种在仿真前发现设计中可能造成仿真时死循环的方法。方法主要分为三个步骤:1)分析数字逻辑设计中形成组合逻辑关系可能的文法形式。2)利用Juliano[1]三元组范式化方法对过程赋值语句进行范式化......
[期刊论文] 作者：金乃咏,陈树中,
来源：中国图象图形学报 年份：2000
对象的边界是图象识别的主要依据 ,但若对象处于一定的自然背景中 ,则自然背景的边界会给识别过程增加计算的负担 ,因此在识别前有必要将对象与背景的边界区别开 .该问题通常是通过基于“试探性阈值的方法”来解决 ,由于该方法未考虑边界点的局部特性 ,故该方法......
[期刊论文] 作者：黄赛杰,陈铭松,金乃咏,,
来源：计算机应用与软件 年份：2015
由于硬件描述语言Verilog中存在赋值语句的并发行为,对其验证一直是静态分析技术的一大挑战。针对Verilog程序的正确性问题,提出一种基于布尔约束求解的Verilog验证方法。通过分析Verilog语义特点,采用分步编码的方式对Verilog并发赋值语句进行处理。实验结果显......
相关搜索：
