Cart (Loading....) | Create Account
Close category search window
 

On finding a minimal functional description of a finite-state machine for test generation for adjacent machines

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Pomeranz, I. ; Dept. of Electr. & Comput. Eng., Iowa Univ., Iowa City, IA, USA ; Reddy, S.M.

In some applications, it is desirable to find for a circuit a minimal partial description that allows a certain task to be carried out. A partial circuit description allows the task to be carried out more efficiently since fewer decision points exist based on a partial description compared to the full circuit description. We consider this problem with respect to finite state machines and the following tasks. Starting from a functional description of a finite state machine M in the form of a state table ST, we select a minimal subset of state-transitions STpart⊂ST such that every output sequence that can be produced using state-transitions out of ST can also be produced using state-transitions out of STpart. We also formulate a similar problem related to the propagation of fault effects from the inputs to the outputs of M and describe a procedure for solving this problem. Applications of these tasks include test generation for circuits described as interconnections of finite-state machines. Experimental results presented show that STpart contains a small fraction of the state-transitions of ST

Published in:

Computers, IEEE Transactions on  (Volume:49 ,  Issue: 1 )

Date of Publication:

Jan 2000

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.