## 7 Experimental Results
\begin{table}
\begin{tabular}{c c c c c c} \hline \hline
**Benchmark** & **L** & **N** & **H/\(R_{H}\)** & **M/R** & **EMB** \\ \hline bbara & 4 & 2 & 60/6 & 10/4 & + \\ \hline bbsse & 7 & 7 & 56/6 & 16/4 & + \\ \hline bbtas & 2 & 2 & 24/5 & 6/3 & + \\ \hline beecount & 3 & 4 & 28/5 & 7/3 & + \\ \hline cse & 7 & 7 & 91/7 & 16/4 & + \\ \hline dk14 & 3 & 5 & 56/6 & 7/3 & + \\ \hline dk15 & 3 & 5 & 32/5 & 4/2 & + \\ \hline dk16 & 2 & 3 & 108/7 & 27/5 & + \\ \hline dk17 & 2 & 3 & 32/5 & 8/3 & + \\ \hline dk27 & 1 & 2 & 14/4 & 7/3 & + \\ \hline dk512 & 1 & 3 & 15/4 & 15/4 & + \\ \hline donfile & 2 & 1 & 96/7 & 24/5 & + \\ \hline ex1 & 9 & 19 & 138/8 & 20/5 & \textless{}14,19\textgreater{} \\ \hline ex2 & 2 & 2 & 72/7 & 19/5 & + \\ \hline ex3 & 2 & 2 & 36/6 & 10/4 & + \\ \hline ex4 & 6 & 9 & 21/5 & 14/4 & + \\ \hline ex5 & 2 & 2 & 32/5 & 9/4 & + \\ \hline ex6 & 5 & 8 & 34/6 & 8/3 & + \\ \hline ex7 & 2 & 2 & 36/6 & 10/4 & + \\ \hline keyb & 7 & 7 & 170/8 & 19/5 & + \\ \hline kirkman & 12 & 6 & 370/9 & 16/4 & \textless{}16,6\textgreater{} \\ \hline lion & 2 & 1 & 11/4 & 4/2 & + \\ \hline lion9 & 2 & 1 & 25/5 & 9/4 & + \\ \hline mark1 & 5 & 16 & 22/5 & 15/4 & + \\ \hline mc & 3 & 5 & 10/4 & 4/2 & + \\ \hline modulo12 & 1 & 1 & 24/5 & 12/4 & + \\ \hline opus & 5 & 6 & 22/5 & 10/4 & + \\ \hline planet & 7 & 19 & 115/7 & 48/6 & \textless{}13,19\textgreater{} \\ \hline planet1 & 7 & 19 & 115/7 & 48/6 & \textless{}13,19\textgreater{} \\ \hline pma & 8 & 8 & 73/7 & 24/5 & \textless{}13,8\textgreater{} \\ \hline s1 & 8 & 7 & 106/7 & 20/5 & \textless{}13,7\textgreater{} \\ \hline s1488 & 8 & 19 & 251/8 & 48/6 & \textless{}14,19\textgreater{} \\ \hline s1494 & 8 & 19 & 250/8 & 48/6 & \textless{}14,19\textgreater{} \\ \hline s1a & 8 & 4 & 107/7 & 20/5 & + \\ \hline s208 & 11 & 2 & 153/8 & 18/5 & \textless{}16,2\textgreater{} \\ \hline s27 & 4 & 1 & 34/6 & 6/3 & + \\ \hline s298 & 3 & 6 & 1096/11 & 218/8 & + \\ \hline s386 & 7 & 7 & 64/6 & 13/4 & + \\ \hline s420 & 19 & 2 & 137/8 & 18/5 & \textless{}24,2\textgreater{} \\ \hline s510 & 19 & 7 & 77/7 & 47/6 & \textless{}25,7\textgreater{} \\ \hline s8 & 4 & 1 & 20/5 & 5/3 & + \\ \hline s820 & 18 & 19 & 232/8 & 25/5 & \textless{}23,19\textgreater{} \\ \hline s832 & 18 & 19 & 245/8 & 25/5 & \textless{}23,19\textgreater{} \\ \hline sand & 11 & 9 & 184/8 & 32/5 & \textless{}16,9\textgreater{} \\ \hline shiftreg & 1 & 1 & 16/4 & 8/3 & + \\ \hline sse & 7 & 7 & 56/6 & 16/4 & + \\ \hline styr & 9 & 10 & 166/8 & 30/5 & \textless{}14,10\textgreater{} \\ \hline tma & 7 & 8 & 44/6 & 20/5 & + \\ \hline \hline \end{tabular}
\end{table} 
Table 7: Characteristics of Mealy FSM benchmarks. \begin{table}
\begin{tabular}{c c c c c} \hline \hline
**Benchmark** & \(\mathbf{U_{1}}\) & \(\mathbf{U_{3}}\) & \(\mathbf{U_{4}}\) & \(\mathbf{U_{5}}\) \\ \hline ex1 & 22 & 19 & 48 & 36 \\ \hline kirkman & 30 & 26 & 27 & 11 \\ \hline planet & 21 & 16 & 51 & 38 \\ \hline planet1 & 21 & 16 & 51 & 38 \\ \hline pma & 28 & 23 & 27 & 14 \\ \hline s1 & 26 & 23 & 24 & 12 \\ \hline s1488 & 24 & 21 & 52 & 37 \\ \hline s1494 & 28 & 24 & 50 & 39 \\ \hline s208 & 29 & 23 & 8 & 7 \\ \hline s420 & 38 & 36 & 8 & 7 \\ \hline s510 & 39 & 36 & 22 & 15 \\ \hline s820 & 40 & 34 & 47 & 36 \\ \hline s832 & 41 & 34 & 47 & 35 \\ \hline sand & 27 & 23 & 29 & 16 \\ \hline styr & 26 & 20 & 31 & 18 \\ \hline Total & 440 & 374 & 522 & 359 \\ \hline Percentage & 123\% & 104\% & 145\% & 100\% \\ \hline \hline \end{tabular}
\end{table} 
Table 8: Results of experiments (the number of LUTs).