魏道政
- 作品数：55 被引量：67H指数：5
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金湖北省科技攻关计划山东省自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术电气工程机械工程更多>>
- 故障模拟方法中的静态和动态加速技术
- 1997年
- 本文针对故障模拟中最费时的扇出源故障模拟提出了若干加速技术。通过对电路结构进行的独立扇出分支、扇出源分类及扇出源的最终汇聚门等静态分析，结合对停止线、测试码标记向量以及扇出源临界性确定前的预处理等动态计算，使得扇出源故障模拟区域及需要故障模拟的扇出源数目大大减少，极大地缩短了整个故障模拟时间，实验结果表明，采用上述加速技术的故障模拟算法十分有效，并且随着电路规模增加。
- 石茵魏道政
- 关键词：故障模拟数字电路
- 临界路径跟踪法的扇出源分析
- 陈庆方魏道政
- 关键词：测试电路模拟仿真故障检测
- 集成电路逻辑测试与验证基础技术研究
- 李晓维宫云战向东李华伟何新华王仲石茵崔晓天魏道政
- “集成电路逻辑验证及测试基础技术研究”属于信息科学领域，该项目的特点是立足创新，针对当前国际集成电路测试领域存在的问题，结合我国集成电路测试领域亟待解决的问题，研究逻辑测试和验证方法，该项目的主要成果有提出确定性双码测试...
- 关键词：
- 关键词：集成电路
- 组合电路故障模拟的一种新方法
- 1991年
- 本文提出组合电路故障模拟的一种新方法。对一个给定的输入向量t,除第一遍真值模拟是从电路的初级输入到初级输出进行计算外,故障模拟是从电路的初级输出到初级输入逐级进行表达式运算,由得到的表达式可以判断t能否检测电路中任何一条引线上的s—a—0或s—a—1单故障。本文还介绍了本算法和临界路径跟踪法相结合的一种算法,简化了临界路径跟踪法中对扇出源临界性的处理过程。
- 魏道政
- 关键词：组合电路临界性扇出子电路
- 一个逻辑图自动布局的算法
- 崔晓天曾文斌魏道政
- 关键词：逻辑电路
- 并行测试的测试调度及其控制被引量：1
- 1993年
- 本文首先从理论上比较严格的证明了测试调度问题是多项式可解的。提出了一种O(n^2)的最优测试调度策略。最后,阐述了一种测试调度的控制策略,使得多路转换器控制输入最少。
- 向东魏道政
- 关键词：并行测试并行处理测试调度
- 基于扇出源分析的一种故障模拟方法
- 1991年
- 本文提出了一种基于扇出源分析的故障模拟方法,通过采用五种信息标记,根据其传播规则和对不同的扇出源进行分类,使之可以有效地加速扇出源临界性的判定,从而提高模拟速度。
- 宫云占魏道政
- 关键词：数字电路
- 一个机械产品协同设计系统的研究与实现被引量：20
- 2000年
- 企业计算环境下协同设计的许多关键性问题 ,如分布、异构计算环境下遗产系统的集成 ,集成后遗产系统数据库之间的互访 ,设计过程中的“群体感知”等 ,目前并没有很好地得到解决 .文中通过一个中等规模和中等复杂程度的机械产品设计实例 ,研究了上述问题 ,给出了一种解决方案 。
- 张威陈定方魏道政
- 关键词：减速器CADCORBA
- 分布式系统中的动态测试调度被引量：2
- 1992年
- 本文提出了一种在分布式环境下电路的并行测试调度算法。文中采用了动态调度的策略,最大限度地提高了测试的并行度。这种动态测试调度不同于静态调度在测试以前对各处理机分配任务,而是在测试过程中逐步形成测试方案,充分利用了处理机的空闲时间。
- 向东魏道政
- 关键词：调度调度电路
- 数字电路中引线逻辑值的计算
- 1996年
- 采用了事件驱动法计算电路的逻辑值,其特点是将变化的引线值定义为一个事件,根据事件是否发生计算引线的逻辑值,和下一事件法相比,该方法明显提高效率。
- 魏道政
- 关键词：逻辑值
