z3 ac is working

2018-12-14 01:28:28 +01:00
parent eec9e31a7a
commit 73899442dc
144 changed files with 28296 additions and 45026 deletions
@@ -11,15 +11,15 @@ run
 -opt_level 1
 -iuc NO
 -keep_hierarchy Yes
-netlist_hierarchy Rebuilt
+-netlist_hierarchy As_Optimized
 -rtlview Yes
 -hierarchy_separator /
 -bus_delimiter <>
 -case Maintain
 -verilog2001 YES
-fsm_extract YES -fsm_encoding Auto
-safe_implementation Yes
-mux_extract No
+-fsm_extract YES -fsm_encoding Compact
+-safe_implementation No
+-mux_extract Yes
 -resource_sharing YES
 -iobuf YES
 -pld_mp YES