论文部分内容阅读
文章通过对Summit设计公司的Visual Elite ESC中使用的多语言协同验证工具V-CPU的分析,介绍了传统的协同验证方法的构造思想。在此基础上，应用SystemC建模语言作为统一的硬软件建模工具，通过GDB调试工具，设计了集成ISS的SystemC内核的协同验证环境的构造方法。
集成ISS的System C内核的协同验证环境设计
【摘 要】
：
文章通过对Summit设计公司的Visual Elite ESC中使用的多语言协同验证工具V-CPU的分析,介绍了传统的协同验证方法的构造思想。在此基础上，应用SystemC建模语言作为统一的硬软
【机 构】
：
西安微电子技术研究所
【出 处】
：
微电子学与计算机
【发表日期】
：
2006年7期
其他文献
基于图像小波分解的特点和小波分解后高频小波系数的统计特性,构造了一种新阈值函数的去噪算法。对比传统的硬阈值、软阈值去噪算法,介绍了新阈值函数的原理,推导了算法公式。该阈值函数连续、可导。实验结果表明,利用新阈值函数进行图像去噪,能够有效地抑制图像噪声及马赛克效应。
从延迟、功耗、面积等方面对加法器的实现方式性能的比较，适应兼容TMS320C54XDSP处理器的高速、低功耗的需要和结构特点，而采用超前进位加法器的两种设计方案，通过两种方案性能
文章介绍了一种新的工具包。其中，源代码分析器SCP（Source Code Parser）用于将嵌入式软件源代码转换为对应的ANSIC，C＋＋代码，作为目标系统软件的模型。虚拟硬件平台VHP（Virtual Hardwa
面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求，Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网具有形式化的描述的基础和正确性分析的优点
介绍具有混合信号系统描述能力的硬件描述语言VHDL-AMS的新特性。通过对锁相环路进行数学分析，建立锁相环的VHDL-AMS模型，并进行仿真分析。从文中可以看出，应用VHDL-AMS．使得锁相
采用专用往复滑动摩擦试验机及工装,通过台架试验模拟核电服役条件,测试了压力容器支座用高强石墨镶嵌减摩板的滑动摩擦磨损性能,并用扫描电子显微镜观察了石墨磨损形貌.结果
文章提出了一种新型的D类放大器的结构.D类放大器具有效率高的优点,因此在很多功耗低功耗设备中得到应用.但传统的D类放大器是开关型放大器,又是开环系统,所以不可避免的在输
旨在解决流媒体实时传输的效率和系统的可拓展性问题。介绍了流媒体传输的基本协议RTP。并针对实时传输过程中的特殊要求，设计出了一种流媒体传输的结构模型，在流量控制、组包
Barrett食管(BE)和食管腺癌(EAC)在西方国家具有较高的发病率。随着中国人饮食结构的变化,可以预见BE和EAC也将是未来威胁中国人健康的疾病。动物模型是研究人类疾病的重要工