论文部分内容阅读
本文综述了国际上几家公司在微处理器设计中所采用的系统级验证方法,介绍了用于创建系统级模拟验证平台的新工具TestBuilder,及其在建立微处理器系统级模拟验证平台中的应用.
微处理器系统级验证平台的研究
【摘 要】
：
本文综述了国际上几家公司在微处理器设计中所采用的系统级验证方法,介绍了用于创建系统级模拟验证平台的新工具TestBuilder,及其在建立微处理器系统级模拟验证平台中的应用.
【机 构】
：
国防科技大学计算机学院
【出 处】
：
第八届计算机工程与工艺全国学术年会
【发表日期】
：
2003年期
其他文献
本文研究和分析了现有的传统的软件测试方法,从工程的角度出发,提出了软件测试工程化的一种模型,并使用该模型成功地组织和管理了下一代网络中业务层的应用服务器软件的测试,
需求工程与软件体系结构构造是软件生命周期的两个关键活动.研究人员已经对需求向软件体系结构的映射问题给予了很多关注,但仍然缺乏有效的方案.本文分析了解决这一问题的传
本文讨论了基于标准单元ASIC设计的逻辑综合优化问题,总结提出了逻辑综合优化的四种方法:系统和算法级优化、代码级优化、电路级优化和部分全定制的方法,并给出了这些方法的
位于意大利地中海之滨的爱塔奇亚拉别墅始建于19世纪末，迄今已有100多年历史。其建筑面积达1000多平方米，共有40个房间，坐拥无敌海景，市价3000多万欧元，是意大利最贵的物业之一。其首任主人卡纳冯勋爵于1922年率领一支考古队发掘古埃及图坦卡蒙法老陵墓后，不久便神秘去世。此后，爱塔奇亚拉别墅的历任主人接二连三地蹊跷而死，几乎无人善终。当地人惊呼，这栋百年古宅也许是遭遇了古埃及的 “法老魔咒”！
依赖模型刻画软件实体之间的各种依赖关系,是变化影响分析的依据和重要基础.结合面向对象软件变化影响分析所提出的需求.本文提出了一个面向对象系统依赖模型,探讨了从面向对
反思课程改革对于深入推进课程改革具有积极意义.教育理论界和实践界对第八轮基础教育课程改革的反思集中在课改理念、课程目标、教学模式等方面.反思取得了一些积极成果,尚
基于构件的软件开发是解决软件重用问题的一种有效途径,基于构件的软件可复用性研究是目前研究的热点.本文描述了一个基于构件的迭代软件开发模型,并结合UML规范了构件的软件
通用IO接口是SoC系统中非常重要的一种外围端口.本文完成了一种基于WISHBONE总线的GPIO_WB控制器的逻辑设计和物理实现.文中较具体地介绍了GPIO_WB核的体系结构以及WISHBONE