H算法及确实性

阮根鸿; 沈以南

您当前的位置：

首页 >

文章列表页 >

H算法及确实性

更新时间：2025-12-08

- H算法及确实性
- H-Algorithm and its Validity
- 电子学报 1985年第6期页码：5-12
- 作者机构：
  
  1. 复旦大学
  2. 复旦大学上海
- 作者简介：
- 基金信息：
- DOI：
  中图分类号：
- 纸质出版：1985
- 稿件说明：
移动端阅览
[1]阮根鸿,沈以南.H算法及确实性[J].电子学报,1985(06):5-12.

Ruan Gen-hong, Shen Yi-nan. H-Algorithm and its Validity[J]. Acta Electronica Sinica, 1985, (6): 5-12.
[1]阮根鸿,沈以南.H算法及确实性[J].电子学报,1985(06):5-12. DOI：

Ruan Gen-hong, Shen Yi-nan. H-Algorithm and its Validity[J]. Acta Electronica Sinica, 1985, (6): 5-12. DOI：

摘要

本文对H算法作进一步阐述

并对其确实性作出证明。以H算法为基础的HALG程序已经在计算机PDP11/23上实现

对若干电路进行测试生成的结果表明程序是有效的。

Abstract

The H-algorithm for test generation of asynchronous circuits is discussed and its validity is proved. A program HALG on the basis of H-algorithm is developed on a computer of PDP-11/23

and test sequences are generated for some circuits. The results are con-sistant with the theoretical analysis.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据

H算法及确实性

H-Algorithm and its Validity

DOI：

摘要

Abstract

关键词

Keywords

references