
\begin{verbatim}
int active ; 
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item fc()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item fc()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int clk_cntr[max_clocks] ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item parser.y - the {\em Yacc} specification file.
\item print\_tables()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item init()
\item parser.y - the {\em Yacc} specification file.
\end{enumerate}
\end{quotation}

\begin{verbatim}
char clk_names[max_clocks][8] ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item parser.y - the {\em Yacc} specification file.
\item print\_tables()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item init()
\item parser.y - the {\em Yacc} specification file.
\end{enumerate}
\end{quotation}

\begin{verbatim}
int clk_table[max_clocks][max_clock_gates] ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item print\_tables()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item parser.y - the {\em Yacc} specification file.
\end{enumerate}
\end{quotation}

\begin{verbatim}
int d_alg_error ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item d\_alg()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item imply\_and\_check()
\item imply\_free\_input()
\item init\_search()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int d_front_count ; 
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item d\_alg()
\item remove\_from\_d\_front()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_to\_d\_front()
\item init\_search()
\item remove\_from\_d\_front()
\end{enumerate}
\end{quotation}

\begin{verbatim}
d_front_rec *d_front_hdr ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item gen\_tests\_init()
\item init\_search()
\item remove\_from\_d\_front()
\item show\_step()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item gen\_tests\_init()
\item init\_search()
\item remove\_from\_d\_front()
\end{enumerate}
\end{quotation}

\begin{verbatim}
d_front_rec  *d_front_last ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item add\_to\_d\_front()
\item choose\_next\_action()
\item print\_d\_front()
\item remove\_from\_d\_front()
\item show\_step()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_to\_d\_front()
\item gen\_tests\_init()
\item init\_search()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int dominant ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item fc()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item fc()
\end{enumerate}
\end{quotation}

\begin{verbatim}
fault_rec *dominant_hdr ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item print\_fc()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item init\_fc()
\end{enumerate}
\end{quotation}

\begin{verbatim}
fault_rec *dominant_list ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item add\_to\_dom\_list()
\item init\_fc()
\item print\_fc()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_to\_dom\_list()
\item init\_fc()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int d_out_count ; 
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item choose\_next\_action()
\item d\_alg()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_to\_d\_front()
\item init\_search()
\item remove\_from\_d\_front()
\end{enumerate}
\end{quotation}

\begin{verbatim}
fault_rec *equivalence_hdr ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item fc()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item init\_fc()
\end{enumerate}
\end{quotation}

\begin{verbatim}
fault_rec *equivalence_list ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item add\_to\_eq\_list()
\item fc()
\item init\_fc()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_to\_eq\_list()
\item fc()
\item init\_fc()
\end{enumerate}
\end{quotation}

\begin{verbatim}
fault_rec *equivalence_reps ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item add\_to\_eq\_reps()
\item fc()
\item init\_fc()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_to\_eq\_reps()
\item fc()
\item init\_fc()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int equivalence_table[8][max_line_number] ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item print\_eq\_tab()
\item print\_fc()
\item test\_set()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item fc()
\item test\_set()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int fan_table[max_gate_number][max_fan+1] ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item compute\_val()
\item drive\_fault()
\item fc()
\item imply\_and\_check()
\item imply\_free\_input()
\item init\_search()
\item just\_act\_xor()
\item just\_and()
\item just\_nand()
\item just\_nor()
\item just\_or()
\item just\_xor()
\item print\_tables()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_to\_gate\_list()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int fault_gate ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item imply\_and\_check()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item gen\_test()
\end{enumerate}
\end{quotation}

\begin{verbatim}
fault_rec *fault_hdr ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item print\_fc()
\item test\_set()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item init\_fc()
\end{enumerate}
\end{quotation}

\begin{verbatim}
fault_rec *fault_list ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item add\_to\_f\_list()
\item init\_fc()
\item print\_fc()
\item test\_set()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_to\_f\_list()
\item init\_fc()
\item test\_set()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int first ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item fc()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item fc()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int first_pi ; 
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item init\_search()
\item print\_test()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item parser.y - the {\em Yacc} specification file.
\end{enumerate}
\end{quotation}

\begin{verbatim}
int first_po ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item print\_test()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item parser.y - the {\em Yacc} specification file.
\end{enumerate}
\end{quotation}

\begin{verbatim}
gate gate_list[max_gate_number] ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item add\_to\_d\_front()
\item add\_to\_gate\_list()
\item compute\_val()
\item drive\_act()
\item drive\_fault()
\item do\_message()
\item fc()
\item fc\_warn()
\item get\_gate()
\item imply\_and\_check()
\item imply\_free\_input()
\item just\_act()
\item just\_act\_gate()
\item parser.y - the {\em Yacc} specification file.
\item print\_d\_front()
\item print\_tables()
\item print\_test()
\item remove\_from\_d\_front()
\item show\_step()
\item undo()
\item undo\_message()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_to\_gate\_list()
\item add\_to\_imply\_list()
\item drive\_act()
\item find\_gate\_name()
\item gen\_test()
\item init\_search()
\item undo()
\end{enumerate}
\end{quotation}

\begin{verbatim}
imply_rec *imply_ptr ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item add\_to\_imply\_list()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_to\_imply\_list()
\item d\_alg()
\item gen\_test()
\item undo()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int j_front_count ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item d\_alg()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_to\_j\_front()
\item init\_search()
\item remove\_from\_j\_front()
\end{enumerate}
\end{quotation}

\begin{verbatim}
j_front_rec *j_front_hdr;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item gen\_tests\_init()
\item init\_search()
\item show\_step()
\item remove\_from\_j\_front()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item gen\_tests\_init()
\item init\_search()
\item remove\_from\_j\_front()
\end{enumerate}
\end{quotation}

\begin{verbatim}
j_front_rec *j_front_last ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item add\_to\_j\_front()
\item choose\_next\_action()
\item print\_j\_front()
\item remove\_from\_j\_front()
\item show\_step()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_to\_j\_front()
\item gen\_tests\_init()
\item init\_search()
\end{enumerate}
\end{quotation}

\begin{verbatim}
line line_list[max_line_number] ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item add\_to\_gate\_list()
\item dangling\_lines()
\item drive\_fault()
\item do\_message()
\item fail\_message()
\item gen\_test()
\item get\_line()
\item imply\_and\_check()
\item imply\_free\_input()
\item just\_act()
\item just\_act\_gate()
\item just\_act\_xor()
\item just\_and()
\item just\_nand()
\item just\_nor()
\item just\_or()
\item just\_xor()
\item print\_eq\_tab()
\item print\_fc()
\item print\_j\_front()
\item print\_red\_list()
\item print\_tables()
\item print\_test()
\item show\_step()
\item test\_set()
\item undo()
\item undo\_message()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_line()
\item add\_to\_gate\_list()
\item add\_to\_imply\_list()
\item gen\_test()
\item init()
\item init\_search()
\item undo()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int line_x_reference[x_ref_length] ; 
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item add\_line()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_line()
\item get\_line()
\item init()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int number_of_gates ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item find\_gate\_name()
\item gen\_test()
\item get\_gate()
\item parser.y - the {\em Yacc} specification file.
\item print\_tables()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item find\_gate\_name()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int number_of_lines ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item dangling\_lines()
\item init\_search()
\item parser.y - the {\em Yacc} specification file.
\item print\_eq\_table()
\item print\_tables()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_line()
\end{enumerate}
\end{quotation}

\begin{verbatim}
fault_rec *redundant_hdr ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item print\_red\_list()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item init\_red\_list()
\end{enumerate}
\end{quotation}

\begin{verbatim}
fault_rec *redundant_list ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item add\_to\_red\_list()
\item init\_red\_list()
\item print\_red\_list()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item add\_to\_red\_list()
\item init\_red\_list()
\end{enumerate}
\end{quotation}

\begin{verbatim}
fault_rec *reps_hdr ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item fc()
\item print\_tables()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item init\_fc()
\end{enumerate}
\end{quotation}

\begin{verbatim}
int step ; 
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item show\_step()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item main() (in {\em gen\_tests.c})
\end{enumerate}
\end{quotation}

\begin{verbatim}
int trace ;
\end{verbatim}
\begin{quotation}
\noindent
The variable is read by the functions
\begin{enumerate}
\item do\_message()
\item fail\_message()
\item print\_fronts()
\item undo\_message()
\end{enumerate}

\noindent
The variable is assigned values by the functions
\begin{enumerate}
\item main() (in {\em gen\_tests.c})
\end{enumerate}
\end{quotation}

