Dismiss
The InnovationQ application will be updated on Sunday, May 31st from 10am-noon ET. You may experience brief service interruptions during that time.
Browse Prior Art Database

Technique for Verifying Finite State Machines

IP.com Disclosure Number: IPCOM000035753D
Original Publication Date: 1989-Aug-01
Included in the Prior Art Database: 2005-Jan-28

Publishing Venue

IBM

Related People

Authors:
Bahnsen, RJ Kukula, JH [+details]

Abstract

This invention provides a way of verifying the behavior of a (target) finite state machine by means of an assertion machine. The observable behavior of a state machine is the set of sequences of input and output vectors that can occur during the operation of the machine. A statement about some property of these sequences is an assertion. A general way to describe a property is to describe a machine which recognizes that property. (Image Omitted)