%This is the latex figure (Figure 5 that goes into the appendix)

\def\baselinestretch{1.0}
{\bf \tiny \bf
\begin{figure} \centering
\begin{tabular}{||lcl||} \hline
excitation\_pattern of PMF9ij is & \vline & excitation\_pattern  of PMF9ji is \\
begin & \vline & begin \\
(11-$>$01$)^{2}$-$>$11; & \vline & 11-$>$10-$>$11 (T) (Ar); \\
11-$>$10-$>$11-$>$01-$>$11; & \vline & 11-$>$01-$>$11-$>$10-$>$11; \\
(Ar)00-$>$01(Ar)-$>$11 & \vline & 00-$>$10-$>$11 $(Ar)^{2}$\\
end excitation\_pattern of PMF9ij; & \vline & end excitation\_pattern of PMF9ji;
 \\ \hline \hline
PMT of PMF9ij is & \vline & PMT of PMF9ji is \\
begin & \vline & begin \\
I1U($<$R1 W0 W0 W1$>$); & \vline & I1D($<$R1 W0 W1$>$)$Delay_{T}$E(R1); \\
I1D(W0 W1)E(R1); & \vline & I1U(W0W1)E(R1); \\
I0D(R0 W1 R1)E(R1); & \vline & I0U(W1)E(R1R1R1); \\
end PMT of PMF9ij;  & \vline & end PMT of PMF9ji; \\ \hline
\end{tabular}
\caption{Description of CSDL and PMDL (library file)}
\label{mfdes2}
\end{figure}
}