吕昌龄
- 作品数：4 被引量：3H指数：1
- 供职机构：装甲兵工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：电子电信更多>>
- 时序电路的状态验证研究与设计被引量：1
- 1997年
- 采用二元判定图(BDD)作为工具来描述时序电路是非常有意义和有效的.本文通过对BDD的简化达到对状态变换图(STG)输入、路径和状态的压缩,从而提高状态遍历的效率,另外根据电路的特点,提出状态冲突和不相交分解的启发技术以有效地完成验证.
- 何新华吕昌龄宫云战
- 关键词：时序电路
- 基于全局时态逻辑(GTL)的验证和测试生成研究
- 1996年
- 基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。
- 何新华吕昌龄
- 关键词：时态逻辑
- 基于功能块的分离测试生成
- 1996年
- 通过扩展电路分离描述模型,提出了一种含三态门结构和时钟线故障的层次测试生成策略,试图探求一种有效的、实用的时序电路测试生成方法。
- 何新华吕昌龄
- 关键词：功能块
- 同步时序电路测试生成研究被引量：2
- 1997年
- 本文分析了固定故障所反映出的状态变换特征，提出状态变换故障模型。基于无复位时序电路，详细研究了有复位状态的同步电路测试生成问题及在无复位电路中的应用。
- 何新华宫云战吕昌龄
- 关键词：同步时序电路逻辑电路
