论文部分内容阅读
本文对H算法作进一步阐述,并对其确实性作出证明。以H算法为基础的HALG程序已经在计算机PDP11/23上实现,对若干电路进行测试生成的结果表明程序是有效的。
This paper further elaborates on the H algorithm and proves its validity. The HALG program based on the H algorithm has been implemented on the computer PDP11 / 23. The test results of several circuits show that the program is effective.