论文部分内容阅读
首先给出使用面向对象方式对硬件进行描述和验证的统一框架。这个统一的框架涉及了一种面向对象的语言：e语言以及实时环境Specman Elite^TM。然后介绍了使用e语言进行硬件模块描述、综合和验证，最后通过例子得出基于e语言进行构建统一框架的优点。
基于e语言的描述综合和验证的统一框架
【摘 要】
：
首先给出使用面向对象方式对硬件进行描述和验证的统一框架。这个统一的框架涉及了一种面向对象的语言：e语言以及实时环境Specman Elite^TM。然后介绍了使用e语言进行硬件模块
【机 构】
：
江南大学信息工程学院,中国电子科技集团公司第五十八研究所
【出 处】
：
固体电子学研究与进展
【发表日期】
：
2007年1期
其他文献
【摘 要】随着经济全球化的发展，越来越多的外国游客前往中国旅游，与此同时涉外导游语言的使用也遇到了一些跨文化问题。本文通过对涉外导游语言中的跨文化性问题的归纳及分析，提出了以文化为载体的解决方法。 【关键词】涉外导游 文化差异 可接受性 跨文化性 随着经济全球化过程的迅速发展，“地球村”无论在时间上还是空间上都使得人与人之间有了更多的跨越地域的亲密接触。根据CNTA（China Nationa
介绍了微波低相位噪声介质振荡器的设计方法。就影响介质振荡器相位噪声的因素进行了讨论。从谐振回路有载Q值、有源器件、增益压缩量、电路模式等几个方面提出了降低相位噪
介绍了智能手机中传感器类型，提出了基于智能手机的预警系统体系框架，设计了安全预警功能．采用道路实验横向测评了两款智能手机安全预警软件和一款专业设备在功能、可靠性等方面
运用一种全量子模型研究基于氧化铪的高k栅介质纳米MOSFET栅电流，该方法特别适用于高k栅介质纳米MOS器件。还能用于多层高k栅介质纳米MOS器件。使用该方法研究了基于氧化铪高k
【摘要】随着经济的不断发展，整个社会对应用型人才的需求日益增大。在熟练掌握专业知识之外，企业越来越重视在商务领域工作的人员是否具有较高的专业英语水平。商务英语课程的开设正是为了满足社会对该类人才的需求。本文针对模块化教学在商务英语教学中的应用进行了探讨。 【关键词】模块化教学商务英语能力培养 《商务英语》课程的定位 商务英语课程是商务和英语的结合体，根据其结合的不同情况可以从三个方面对其进行
采用非线性有限元直接计算方法,对系列加筋板在轴向压力下的极限强度进行了计算分析.大量数值计算结果与Smith及Tanaka的实验结果进行了验证.基于有限元分析结果,提出了加筋
针对港区水域通航环境危险度评价指标的权重计算和综合评价问题，运用主客观组合赋权法和距离函数建模法并借助MATLAB工具对多个港区通航环境危险度评价指标的权重进行计算并进
在Yeong-seuk Kim等人模型的基础之上，提出了一种改进的VDMOS静态物理模型。该模型特别考虑了VDMOS器件中漂移区载流子的密度分布，并且近似得到了漂移区中泊松方程的解析解。器
模糊Petri网是故障诊断系统建模与分析的一种重要工具,但存在自学习困难的特点.该文将具有强大自学习能力和容错能力的神经网络与模糊Petri网相结合,并根据实际工程应用情况,
设计与实现了一种适用于主板电压调整器(VRM)数字控制模块的模数转换器(ADC)。文中采用Flash比较方式减少A/D转换延时,采用窗口式量化结构减小电路功耗。电路采用HSPICE仿真,