论文部分内容阅读
本文分析SoC设计验证重要性,介绍了基于断言的硬件设计功能验证技术,结合VerilogHDL等硬件描述语言与一些设计实例阐述了当前流行的设计语言开发特性描述库AccelleraStandardOVL的基本应用
基于断言的验证技术
【摘 要】
：
本文分析SoC设计验证重要性,介绍了基于断言的硬件设计功能验证技术,结合VerilogHDL等硬件描述语言与一些设计实例阐述了当前流行的设计语言开发特性描述库AccelleraStandard
【机 构】
：
北京航空航天大学电子信息工程学院,北京,100083
【出 处】
：
全国第十届信号与信息处理、第四届DSP应用技术联合学术会议
【发表日期】
：
2006年期
其他文献
研究了双会切磁场中大回旋电子注产生的机理.通过拉格朗日方程求解了电子注的运动方程及沿轴的角向速度、引导中心半径、拉莫尔半径等参量表达式.分析了双会切磁场中电子注参
本文利用我厂目前主要计算螺旋线行波管慢波结构色散,耦合阻抗的ORION数值分析软件结果,与三维仿真软件CST和HFSS计算的慢波结构的色散和耦合阻抗进行比较,同时与国外的实验
会议
六十年代就曾闻名全自治区的林业劳模倪驼羔,在治理沙漠、改造自然面貌的事业中立下了汗马功劳,在一个春光明媚的日子里.我怀着崇高的心情访问了这位年近七旬的老人。汽车沿
1999年的元旦,正当人们举家团聚欢庆节日的时候,欧洲各银行的员工却不得不破天荒地放弃假日休息,为欧元的转换加班加点工作。1999年元旦将永远为世人所牢记,欧元在经过一个
由于FC(场控器)设计一直没有相关的设计软件支持,实际中的FC设计均是通过试验设计的方法米完成的.因此,如何经济、高效、准确地寻找到FC的最佳尺寸组合,无疑是值得研究的课题
采用Magic粒子模拟程序设计了一种工作在3mm波段的高功率表面波振荡器,该器件具有过模慢波结构,在中等电压(460kV)有较高的注波互作用效率.模拟结果表明这种器件在10.5个周期
本文对螺旋带面电流密度进行Chebyshev多项式展开并用真空层模拟螺旋带厚度,同时引入转移矩阵和连接矩阵处理边界的场匹配.选用C++语言实现了此计算方法,结果显示此方法结果
会议
有限积分方法(FIT)在电磁场模拟领域得到了广泛的应用,国外一些大型的三维软件如MAFIA等即是使用的此方法.本文在直角坐标系的公式前提下,推导了柱坐标系下的FIT公式,离散场
介绍了基于有线网络与DVB-C标准的数字高清电视机顶盒的设计原理,分别阐述了机顶盒的软、硬件系统结构几个模块的功能实现,并以EPG//的实现为例具体介绍了基于此平台上的应用