搜索筛选:
搜索耗时0.0928秒,为你在为你在102,285,761篇论文里面共找到 83 篇相符的论文内容
发布年度:
[期刊论文] 作者：边计年,
来源：计算机辅助设计与图形学学报 年份：1998
ＶＩＴＡＬ是ＩＥＥＥ新近制定的一个用ＶＨＤＬ建立ＡＳＩＣ模型库的基准，它为ＡＳＩＣ库的建立，电路设计的描述提供了便利的，格式相对固定的描述方法，并为提高模拟性能提供了依据和基础，本文介绍ＶＩＴＡＬ的基本内容，并介绍用ＶＩＴＡＬ描述电路......
[期刊论文] 作者：边计年,
来源：计算机辅助设计与图形学学报 年份：2000
在 VL SI系统设计、行为设计和逻辑设计过程中 ,未考虑到的与半导体制造工艺有关的因素 (如延迟、功耗问题等 )严重影响设计结果的性能 ,以至使物理设计结果的性能远离原来的设计目标 .针对这个问题 ,文中提出与底层有关的 VL SI高层次设计策略 ,将影响性能的底......
[会议论文] 作者：边计年,
来源：全国首届VHDL语言及其应用学术会议--第六届全国逻辑设计自动化学术会议 年份：1996
ＶＩＴＡＬ是ＩＥＥＥ新进制定的一个用ＶＨＤＬ建立ＡＳＩＣ模型库的基准，它为ＡＳＩＣ库的建立、电路设计的描述提供了便利的描述方法，为提高模拟性能提供了基础。该文介绍ＶＩＴＡＬ的基本内容，并介绍用ＶＩＴＡＬ描述电路模型的方法。......
[会议论文] 作者：边计年,
来源：全国第六届IC CAD学术年会 年份：1991
...
[会议论文] 作者：边计年,
来源：第二届全国逻辑设计自动化学术会 年份：1990
...
[会议论文] 作者：边计年,
来源：第七届全国数字系统设计自动化学术会议暨协同设计研讨会 年份：1997
１９９７年亚太设计自动化国际会议在日本举行。该文试图就本次会议发表的论文和人们普遍关心的问题作简单分析，并从中看数字系统设计自动化的发展动向和他们面临的课题。...
[期刊论文] 作者：边计年,陈菁,
来源：计算机辅助设计与图形学学报 年份：
由于面向对象的Ｃ＋＋语言更贴近描述硬件对象的ＶＨＤＬ语言，用Ｃ＋＋实现翻译型ＶＨＤＬ模拟器，并利用Ｃ＋＋本身的编译器的优化功能，可以得到运行的时间和空间方面效率较高的ＶＨＤＬ模拟器．Ｖ２Ｃ＋＋的原型设计和初步实践表明，用Ｃ＋＋实现ＶＨＤＬ翻译性模拟器比解释性模拟器具有较高效率，利于较大规模的电路的模拟．......
[期刊论文] 作者：童琨,边计年,,
来源：计算机辅助设计与图形学学报 年份：2007
随着集成电路复杂度的提高,事务级建模成为了片上系统设计中一个新的研究方向.系统地总结了近年来事务级建模技术的研究热点及设计者关注的问题,介绍了该技术在建模与模拟验证中的作用与优势;分析了事务级建模发展中需要解决的问题,并对其前景进行了展望.......
[期刊论文] 作者：朱明,边计年,等,
来源：计算机工程与应用 年份：2002
随着片上系统（SOC）技术的发展，越来越多的功能模块被集成到单一芯片中，适合硬件描述的HDL语言很难满足实现复杂算法功能的要求，C＋＋等高级语言可以高效地描述算法功能，但是在综合和验......
[期刊论文] 作者：贝劲松,边计年,
来源：计算机辅助设计与图形学学报 年份：1999
有序的二叉决策图（ＯＢＤＤ）是形式验证领域的基础技术之一，由于ＯＢＤＤ的最大对变量序非常敏感，使得变量排序问题成为最关键的一个问题。首先将ＯＢＤＤ变量排序问题分解为３个子问题，定义了若干启发信息，给......
[期刊论文] 作者：边计年,卢峰,
来源：计算机学报 年份：1997
本文提出一种适应调试功能的ＶＨＤＬ模型及ＶＨＤＬ模拟算法－－－ＶＳＩＭ。它与可视化ＶＨＤＬ原理图输入工具ＶＤＥＳ和高级图形调试器ＶＤＢＸ结合在一起，为设计者检查、修改自己的设计提供了极大的便利。该模拟器采用层次式结构......
[期刊论文] 作者：刘大为,周强,边计年,,
来源：计算机辅助设计与图形学学报 年份：2010
针对目前力指向布局中单元移动式的密度平滑方法存在对优化结果破坏较大、收敛速度较慢的缺点,提出一种考虑重叠度和线长的密度平滑方法(DSAW).该方法结合局部和全局的密度分布来确定单元移动距离,使单元移动中尽量减少对线长的破坏;同时对面积大的单元进行了离......
[期刊论文] 作者：刘大为,周强,边计年,,
来源：计算机辅助设计与图形学学报 年份：2010
为了在时延驱动的布局算法中减少关键路径的数量,提出一种预先指定单元位置的基于线性规划优化时延驱动的布局方法.在全局布局每次迭代优化后提取关键子电路,建立子电路的时延模型;应用线性规划优化并移动子电路上各单元位置形成新的初始布局,进行下一次布局迭......
[会议论文] 作者：贝劲松,边计年,
来源：第七届全国数字系统设计自动化学术会议暨协同设计研讨会 年份：1997
由于半导体制造工艺的进步，ＩＣ设计的规模越来越大，越来越复杂，对传统的模拟验证提出了严峻的挑战。形式验证采用数学方法来验证设计的正确性，具有模拟验证所不具有的优点。该文介绍......
[会议论文] 作者：陈菁,边计年,
来源：全国首届VHDL语言及其应用学术会议--第六届全国逻辑设计自动化学术会议 年份：1996
ＶＨＤＬ模拟器是目前ＥＤＡ系统硬件设计环境的一个主要组成部分。在支持大规模的电路设计时，模拟器的速度和空间占用问题使之成为影响系统效率的关键步骤。该文讨论了如何提高ＶＨＤＬ语言模拟器的......
[期刊论文] 作者：曹秉超,边计年,
来源：计算机工程与应用 年份：2003
控制器综合中状态编码这个课题，已经有过不少的研究。人们都试图设计出能够得到“最佳编码”的方法或者是算法，来达到节省门电路、触发器电路，或者是起到简化组合逻辑电路的目的......
[期刊论文] 作者：朱明,边计年,吴为民,
来源：计算机工程 年份：2005
在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力.通过对OVL语言和CTL描述进行改进,针对...
[期刊论文] 作者：赵致格,边计年,
来源：软件开发与应用 年份：1989
...
[期刊论文] 作者：朱明,边计年,吴为民,,
来源：计算机集成制造系统 年份：2005
为了提高芯片设计中功能验证环节的效率,提出了一种对系统的功能特性归类划分、自动选择适合的验证技术的协同验证方法,构建了多种验证技术之间无缝协作的平台.该协同验证方...
[期刊论文] 作者：洪先龙,边计年,,
来源：国际学术动态 年份：1997
...
相关搜索：
