✦ LIBER ✦

The temporal Boolean derivative applied to verification of extended finite state machines

✍ Scribed by E. Vandermeulen; H.A. Donegan; M. Larnac; J. Magnier

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 544 KB
Volume: 30
Category: Article
ISSN: 0898-1221
DOI: 10.1016/0898-1221(95)00075-a

No coin nor oath required. For personal study only.

✦ Synopsis

Extended finite state machines are an important feature of modern computers. Their verification, unlike sequential system testing, is very complex and has received little attention in literature. This paper suggests a model based on a symbolic representation to describe the temporal behavior of sequential machines. Two examples of different architectures illustrate the application of the methodology.