国家自然科学基金(69773006)
- 作品数：4 被引量：20H指数：3
- 相关作者：魏道政石茵梁业伟杨志娟姚志江更多>>
- 相关机构：中国科学院北京工业大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 对实际数字电路中冗余故障的分析被引量：7
- 2001年
- 系统地研究了实际数字电路中冗余故障的特性 .详细深入地分析了 ISCAS85基准电路中 10个组合电路的全部 5 5 0个冗余故障 ,找出了它们各自形成的原因并将其分成 5类 .研究发现其中只有 3个故障是最难测的 ,算法中需要大量回溯 ;其它 5 47个故障只要按照电路结构和测试本身的规律来形成测试 ,则基本上无需回溯即可 .
- 梁业伟杨志娟石茵魏道政
- 关键词：数字电路
- 一个8051 MCU可综合VHDL模型的完整实现被引量：1
- 2000年
- 介绍了一个完整的与INTEL 80 51MCU时序级兼容的可综合VHDL模型 ,讨论了其中几个主要功能的实现 ,并对该模型进行了验证。该模型的建立对于各种嵌入式系统 (ES)和片上系统(SOC)的应用具有重要意义。
- 姚志江魏道政陈庆方
- 关键词：MCUVHDL
- 异步时序电路分析的一种OBDD方法被引量：3
- 2001年
- 对异步时序电路的分析和使用是一个比较困难的问题 ,所以 ,异步时序电路的实际应用范围远不如同步时序电路 .通过改进 JR Burch等提出的分析方法 ,使之适用于异步时序电路 .该方法使用基于 OBDD的布尔特征函数来表示电路的转移关系 ,并通过基于 OBDD的布尔函数的运算来确定异步时序电路的稳定状态、及当输入改变时电路的下一个稳定状态 。
- 吕毅姚志江魏道政解永良
- 关键词：异步时序电路特征函数OBDD
- 对数字电路扇出的影响和造成困难的分析被引量：10
- 2000年
- 提出一种在 Benchmark电路中存在的隐式扇出和描述实际组合电路中扇出的一种方法 .从 D传送、赋值和冗余、难测故障等方面 ,对扇出的影响造成的困难进行了分析 ,并叙述了其影响的范围和程度 .
- 梁业伟杨志娟石茵魏道政
- 关键词：扇出数字电路
