sm cleaned up

2018-12-17 23:03:12 +01:00
parent 73899442dc
commit deb69da927
41 changed files with 20882 additions and 21991 deletions
@@ -92,7 +92,7 @@
 <tr>
 <td>-opt_mode</td>
 <td>Optimization Goal</td>
-<td>Area</td>
+<td>Speed</td>
 <td>SPEED</td>
 </tr>
 <tr>
@@ -146,7 +146,7 @@
 <tr>
 <td>-fsm_encoding</td>
 <td>&nbsp;</td>
-<td>Compact</td>
+<td>Auto</td>
 <td>AUTO</td>
 </tr>
 <tr>