Test vector generation and classification using FSM traversals

R. Marczynski, M.A. Thornton, S.A. Szygenda
2004 IEEE International Symposium on Circuits and Systems (IEEE Cat. No.04CH37512)  
Design correctness has become a bottleneck in the modern digital system design cycle. In an effort to improve current ad hoc simulation processes, this paper presents a method for the automated generation of simulation vectors using Symbolic FSM Traversal techniques. Generated vectors are classified into three categories, Forward Inter-Frontier, Reverse Inter-Frontier, and Intra-Frontier vectors; a classification based on a vector's ability to generate Forward-, Reverse-, and Inter-Frontier
more » ... Inter-Frontier transitions in an FSM's state transition graph. Additionally, a State-Element Transition Relation (S-ETR) is introduced. This technique involves the construction of a Transition Relation (TR) for each state holding element and defining a smaller, incomplete, over-approximation of the TR. Combining the information present in the S-ETRs coupled with simulation is used to perform image computations.
doi:10.1109/iscas.2004.1329524 fatcat:bybtcokcj5cxlkrppwazhe5oa4