搜索筛选:
搜索耗时0.8733秒,为你在为你在102,285,761篇论文里面共找到 140 篇相符的论文内容
发布年度:
[期刊论文] 作者：陈昕,叶以正,
来源：哈尔滨工业大学学报：英文版 年份：1999
...
[期刊论文] 作者：张岩,叶以正,
来源：计算机辅助设计与图形学学报 年份：1997
本文论述了８０年代初以来，同步时序电路优化方法中出现的时序重构技术的基本理论、方法和应用，并指出了此技术进一步实用化的几种方法．...
[期刊论文] 作者：张岩,叶以正,
来源：计算机研究与发展 年份：1998
高层次综合是近年来电子自动化（ＥＤＡ）领域中快速发展的一种技术，时序重构是高层次综合后端一种重要优化方法，文中介绍了基于地序重构时的时序调整软件ＨＴＣ的设计与实现，提出了时序调整软件......
[期刊论文] 作者：吴静宜,叶以正,,
来源：决策咨询通讯 年份：2006
随着信息技术革命的不断深入，发展信息产业已成为世界各国提升综合国力，抢占全球经济科技竞争制高点的必然选择。信息产业是国民经济的基础产业、先导产业和支柱产业。信息产业......
[期刊论文] 作者：陈昕,叶以正,
来源：电子学报 年份：1999
本文在已有工艺映射匹配方法的基础上，给出了以布尔操作为基础的结构匹配（Ｂｏｏｌｅａｎ Ｏｐｅｒａｔｉｏｎ Ｂａｓｅｄ Ｓｔｒｕｃｔｕｒｅ Ｍａｔｃｈｉｎｇ）方法。该方法不仅具有布尔匹配法的结果可靠的优点，同时具有结构匹配法的时间复杂性简单的优势......
[期刊论文] 作者：WANG Jia-fang,叶以正,
来源：微处理机 年份：2004
模拟电路的仿真问题最终归结为对线性代数方程组的求解.利用分块化方法可以降低求解过程中Jacobi矩阵的维数,从而有效降低求解时间.如何降低求解线性方程组的迭代次数,是有效...
[期刊论文] 作者：叶以正,何煜,,
来源：微电子学与计算机 年份：1988
本文在分析人脑神经系统的基本性质的基础上,阐明了神经网络系统的基本特性,叙述了Hopfield模型及其应用,并着重介绍目前国际上用LSI和VLSI电路实现神经网络系统的几种方法....
[期刊论文] 作者：张岩,叶以正,
来源：计算机辅助设计与图形学学报 年份：
本文论述了自８０年代初以来，同步时序电路优化方法中出现的时序重构技术的基本理论、方法和应用，并指出了此技术进一步实用化的几种方法。...
[期刊论文] 作者：韩曙,叶以正,,
来源：微电子学与计算机 年份：1988
本文对二次B样条函数构造MOS器件模型的方法进行了深入研究.在保证不增加内存占有量和具有相同的拟合精度的前提下,对这种构造方法进行了改进,从而使拟合器件电学特性的计算量由原来的O(N~3)下降到O(N).对改进的二次B样条函数插值模型在SPLICE~(1.7)上的实现进......
[期刊论文] 作者：王忠海,叶以正,
来源：微处理机 年份：2005
SystemC是一种适用于SoC顶层设计的新型硬件设计语言,SystemC验证库是SystemC标准库的一个增补库,用以增强SystemC在SoC顶层验证的能力,本文对SystemC及其验证库进行了简要介...
[期刊论文] 作者：王嘉芳,叶以正,,
来源：微处理机 年份：2008
模拟电路的仿真问题可以最终归结为对线性代数方程组的求解。利用分块化方法可以降低求解过程中雅可比矩阵的维数，从而有效地降低求解时间。但是在矩阵进行划分之后，如何进行负......
[期刊论文] 作者：曾献君,叶以正,
来源：计算机辅助设计与图形学学报 年份：1993
本文分析多级组合逻辑结构中各数据信号取值状态及其与之相关的信号取值状态,构造数据信号取值状态与或图。利用与或图修剪技术寻求相应逻辑结构中冗余逻辑连线。消除多级逻...
[期刊论文] 作者：叶以正,曾献君,
来源：计算机辅助设计与图形学学报 年份：1997
本文讨论了基于逻辑级数极化小的布尔孙数因子分解，提出了基于Ｌａｗｌｅｒ分割算法及子逻辑结构变换的组合逻辑电路的逻辑级数优化方法。...
[期刊论文] 作者：曾献君,叶以正,
来源：微电子学 年份：1993
本文提出在ASIC综合技术中基于标准单元库的多级逻辑函数分解技术。分解过程利用单元库函数真值矩阵及各分解部分用标准单元实现的难易程度、逻辑级数来评价、引导分解得到的...
[期刊论文] 作者：肖立伊,叶以正,
来源：微电子学 年份：
分析了大规模模拟集成电路对模拟硬件描述语言的需求及基本要求。结合实例介绍了ＶＨＤＬ－Ａ，ＭＨＤＬ和ＭＡＳＴ三种主要的模拟硬件描述语言，表明采用ＡＨＤＬ语言可以提高模拟电路建模的抽象层次，推动模拟电路设计自动化进程。......
[期刊论文] 作者：毛志刚,叶以正,
来源：哈尔滨工业大学学报 年份：1994
在建立采用余了３码的自检并行乘法器结构后，完成乘法器检测分支的设计并全面讨论乘法运算分支的自检特性，给出全加器等各子电路的自检设计要求。...
[期刊论文] 作者：毛志刚,叶以正,
来源：哈尔滨工业大学学报 年份：1994
在以往的电路自检特性研究工作中往往采用逻辑级或版图级故障模型，本文采用了比逻辑级模型完善，比版图级模型实用的开关级故障模型来研究ＣＭＯＳ比较器的自检特性．研究结果表明，只要电路......
[期刊论文] 作者：王忠海,叶以正,
来源：计算机辅助设计与图形学学报 年份：2005
利用图论及数学规划方法分析并解决有限状态机验证路径的选择优化,提出一种在仿真验证方法中对SoC有限状态机验证路径进行优化的方法.在CCore提供的验证环境中,对其部分GoldenFile验证任务的有限状态机进行了优化处理,通过原方案的验证时间的对比,表明了该方法......
[期刊论文] 作者：高志强,喻明艳,叶以正,,
来源：中国集成电路 年份：2008
射频滤波器是无线通信系统的关键部件之一。本文根据射频SoC的需求，设计了一种基于Q-增强型射频有源CMOSLC型滤波器。该滤波器利用负阻抗增强电路品质因数，可有效地解决射频片...
[期刊论文] 作者：黄祖兰,叶以正,
来源：计算机研究与发展 年份：2000
提出了一种去除同步时序电路中冗余逻辑的方法．针对时序冗余难于识别的问题，这种方法引入重定时技术，将电路中的时序冗余转换为冗余的组合逻辑，然后利用已有的比较成熟的组合逻辑......
相关搜索：
