论文部分内容阅读
协同验证是在嵌入式系统协调设计过程中用以检验系统功能是否正确的有效手段.由于精确指令集模拟器模拟的细节多,速度慢,通常成为复杂嵌入式系统协同验证的瓶颈.因此,一种使用接口代理方式的多层次验证方法被提出,以提高复杂嵌入式系统的验证速度.结合某图像压缩系统的验证实例,说明该验证方法的有效性.
嵌入式系统设计中的协同验证方法及应用
【摘 要】
：
协同验证是在嵌入式系统协调设计过程中用以检验系统功能是否正确的有效手段.由于精确指令集模拟器模拟的细节多,速度慢,通常成为复杂嵌入式系统协同验证的瓶颈.因此,一种使
【机 构】
：
中央民族大学数学与计算机学院
【出 处】
：
电子器件
【发表日期】
：
2007年2期
其他文献
2005年，在杭州工作了多年的成伟安回到了自己的家乡——山城重庆。多年外贸工作的经验让他知道，内地企业做出口需要跨越很多障碍，于是他选择了一家纯内销的企业，决心从头做起，帮助
运用1978-2006年北京地区生产总值和实际财政支出数据，对北京与其它省份财政支出规模与经济增长绩效进行对比分析；利用Barro自然效率条件测算北京市财政支出适应经济增长的最优
税负作为企业的一项重要支出，其轻重将直接影响企业成本的高低，以致影响利润。税收筹划作为减轻税负、提高经济效益，早已经成为纳税人在企业经营管理中不可缺少的重要组成部分。
将PWM变换器按其工作状态，分别写出开关导通和截止时的数学模型，根据其周其工作的特点，写出其非线性采样数据模型，将该方法用于变换器功率级的建模。以连续导通电压型DC-DC变换器
乌司他丁（ulinastatin,UTI）是从尿液中提取的蛋白水解酶抑制药[1],已在治疗微循环障碍、胰腺炎、休克方面得到应用,疗效确切可靠。近年来UTI被应用于体外循环手术（cardiopulmona
针对现有数字总线测试算法故障覆盖率低、效率不高、过程复杂等不足,建立了以区分主、从驱动器网络为特点的总线结构模型;在分析总线结构故障特征的基础上,定义了故障等价的
近年来,中国高校创业教育蓬勃发展,并呈现出向纵深发展的良好态势创业扶持政策体系逐步形成,地校协同创业教育成效显著,高校创业教育实践全面铺开以及多方扶持良好创业氛围显
加油站主要经营汽油、柴油,这些燃油是易燃、易爆的危险品,因此加强加油站的安全管理十分必要。文章从管理学的角度,对如何加强加油站安全进行论述,以期对加油站安全管理有所
为满足PTCR生产中耐工频电流冲击特性测试的要求。研制了多工位PTCR耐工频电流冲击特性测试仪．在测试过程中各测试工位先通先断，保证各个工位通断电时间满足测试要求。从而保证