论文部分内容阅读
在对设计的功能验证中,断言常被用于检测设计错误.针对制造业的测试模式生成,提出了在寄存器传输层（RTL）用于无扫描设计的断言再用方法.这种方法减少了顺序自动测试码生成程序（ATPG）的搜索空间,因而能加快测试生成过程,增加故障覆盖率.通过实例分析,证明了该方法的可行性和效果.
一种在RTL测试模式生成中验证断言再用的方法
【摘 要】
：
在对设计的功能验证中,断言常被用于检测设计错误.针对制造业的测试模式生成,提出了在寄存器传输层（RTL）用于无扫描设计的断言再用方法.这种方法减少了顺序自动测试码生成程序（A
【机 构】
：
塔林工学院计算机工程系,奈良科技研究所信息科学研究生院
【出 处】
：
上海师范大学学报：自然科学版
【发表日期】
：
2010年5期
【基金项目】
：
supported in part by Estonian Science Foundation through grants 8478 and 7068, European Commission projects FP7-2009-IST-4-248613 DIAMOND and FP7-REGPOT-2008-1 CREDES, Research Centre CEBE funded by E
其他文献
研究了两步Runge-Kutta方法求解中立型延迟积分微分代数方程的稳定性,并证明了在某些条件下,A稳定的两步Runge-Kutta方法求解中立型延迟积分微分代数方程可以保持它的渐进稳
当前,数学教育改革正不断地走向深入,其显著特征是进行新一轮数学课程改革,新的课程理念、设计思路、课程目标、内容标准、实施建议正在逐步完善.反思改革的进程,都是围绕着
王龙等人提出了一个包含社团结构的发展复制方程并研究了其一致性问题.他们给出了具有两个社团结构的种群系统的完整分类并且得出了系统达到一致共存状态的充要条件.作者给出
设On和POn分别是集合Xn={1,2,…,n}上的保序变换半群和保序部分变换半群.刻画了On到POn的所有同态，并给出了On到POn的同态的个数.
本文阐述了系统在不同运行状态下如何通过实施实时无功补偿和电压调节的技术措施来实现无功功率平衡、电压合格，从而降低损耗、达到经济运行的目的。
考虑了周期环境中带有非单调功能反应的非自治捕食者食饵模型,得到了不存在周期解、至少存在一个或两个周期解的新的充分条件,所用方法主要基于Mawhin的迭合度理论及估计先验
在单边Lipschitz耗散条件下,考虑具有可加白噪音的耦合系统的两种同步现象,即不同解之间的同步和同一个解的不同分量之间的同步.首先证明了该耦合系统存在单点集随机吸引子,
主要研究目标是开发以天然抗氧化剂生育酚为模型的控制释放包装材料以增进食品安全.特别是研究添加生育酚对包装聚合物的物理特性的影响.采用工业级挤压机成功制备了3种包含3
长期以来,数学教学改革偏重于对教的研究,忽视了对学生学习方法的指导.学生从初中升入高中,由于知识内容的整体数量较初中剧增,数学语言在抽象程度上发生了突变,思维方法向理
针对动力设备振动线谱的综合控制问题,建立了主动吸振系统模型,推导了主动吸振系统动力学方程,同时开展了最优反馈控制技术研究,并进行了反馈控制仿真分析.仿真结果表明,最优