摘要 |
PCT No. PCT/EP92/00789 Sec. 371 Date Oct. 14, 1993 Sec. 102(e) Date Oct. 14, 1993 PCT Filed Apr. 7, 1992 PCT Pub. No. WO92/18944 PCT Pub. Date Oct. 29, 1992.Implementation and specification of synchronous sequential circuits and other data-processing systems can be modeled by finite state machines. The verification, that is to say the comparison between the implementation and the specification of such systems can then be reduced to the comparison between two finite state machines. On the basis of a symbolic representation of finite state machines with the aid of binary decision diagrams, a method for comparing finite state machines has been developed which can be automatically run on computer systems and thus provides the possibility of automatically verifying such circuits without simulation.
|