IEEE - Institute of Electrical and Electronics Engineers, Inc. - An efficient verifier for finite state machines

Author(s): S.H. Hwang ; A.R. Newton
Sponsor(s): IEEE Council on Electronic Design Automation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 1991
Volume: 10
Page Count: 9
Page(s): 326 - 334
ISSN (Paper): 0278-0070
ISSN (Online): 1937-4151
DOI: 10.1109/43.67786
Regular:

The correctness-checking problem of a finite-state machine is considered. The concept of machine cover is revived and used as the basis of the formulation of the verification problem of the... View More

Advertisement