有限自动机的CAD

CAD OF THE FINITE AUTOMATON

本文是在文献[1]和[2]的基础上,以 RTL 的一个子集 AHPL 为工具,以PCSIM 模拟器为支持软件,将有限自动机 M 的源程序直接在 IBM—PC 机上进行逻辑模拟来研究有限自动机 M 的 CAD 方法。

This paper is based on the literature(1)and(2).The Source programme of Finite Au- tomaton using AHPL(AHPL is the branch of RTL)can be imported to the IBM-PC computer.It can be Simulated by PCSIM supporting.The CAD method of the finite Automaton is discussed in paper.