synth: Add 'wrapped operators' flow

Signed-off-by: Martin Povišer <[email protected]>

Author: povik

flow/scripts/abc_speed_gia_only.script

@@ -0,0 +1,28 @@
+&st
+&dch
+&nf
+&st
+&syn2
+&if -g -K 6
+&synch2
+&nf
+&st
+&syn2
+&if -g -K 6
+&synch2
+&nf
+&st
+&syn2
+&if -g -K 6
+&synch2
+&nf
+&st
+&syn2
+&if -g -K 6
+&synch2
+&nf
+&st
+&syn2
+&if -g -K 6
+&synch2
+&nf

flow/scripts/synth.tcl

@@ -34,7 +34,13 @@ if {![env_var_equals SYNTH_HIERARCHICAL 1]} {
 json -o $::env(RESULTS_DIR)/mem.json
 # Run report and check here so as to fail early if this synthesis run is doomed
 exec -- python3 $::env(SCRIPTS_DIR)/mem_dump.py --max-bits $::env(SYNTH_MEMORY_MAX_BITS) $::env(RESULTS_DIR)/mem.json
-synth -top $::env(DESIGN_NAME) -run fine: {*}$::env(SYNTH_FULL_ARGS)
+
+if {![env_var_exists_and_non_empty NEW_OPERATOR_SYNTHESIS]} {
+  synth -top $::env(DESIGN_NAME) -run fine: {*}$::env(SYNTH_FULL_ARGS)
+} else {
+  source $::env(SCRIPTS_DIR)/synth_wrap_operators.tcl
+}
+
 # Get rid of indigestibles
 chformal -remove
 
@@ -76,7 +82,15 @@ if {[env_var_exists_and_non_empty DFF_LIB_FILE]} {
 }
 opt
 
-log_cmd abc {*}$abc_args
+if {![env_var_exists_and_non_empty NEW_OPERATOR_SYNTHESIS]} {
+  log_cmd abc {*}$abc_args
+} else {
+  scratchpad -set abc9.script scripts/abc_speed_gia_only.script
+  # crop out -script from arguments
+  set abc_args [lrange $abc_args 2 end]
+  log_cmd abc_new {*}$abc_args
+  delete {t:$specify*}
+}
 
 # Replace undef values with defined constants
 setundef -zero
@@ -104,7 +118,7 @@ tee -o $::env(REPORTS_DIR)/synth_stat.txt stat {*}$stat_libs
 check -assert -mapped
 
 # Write synthesized design
-write_verilog -noexpr -nohex -nodec $::env(RESULTS_DIR)/1_1_yosys.v
+write_verilog -nohex -nodec $::env(RESULTS_DIR)/1_1_yosys.v
 # One day a more sophisticated synthesis will write out a modified
 # .sdc file after synthesis. For now, just copy the input .sdc file,
 # making synthesis more consistent with other stages.

flow/scripts/synth_wrap_operators.tcl

@@ -0,0 +1,74 @@
+set deferred_cells {
+  {
+    \$alu
+    ALU_{A_WIDTH}_{A_SIGNED}_{B_WIDTH}_{B_SIGNED}_{Y_WIDTH}{%unused}
+    {HAN_CARLSON -map +/choices/han-carlson.v}
+    {KOGGE_STONE -map +/choices/kogge-stone.v}
+    {SKLANSKY -map +/choices/sklansky.v}
+    {BRENT_KUNG}
+  }
+  {
+    \$macc
+    MACC_{CONFIG}_{Y_WIDTH}{%unused}
+    {BASE -map +/choices/han-carlson.v}
+  }
+}
+
+techmap {*}[join [lmap cell $deferred_cells {string cat "-dont_map [lindex $cell 0]"}] " "]
+
+foreach info $deferred_cells {
+  set type [lindex $info 0]
+  set naming_template [lindex $info 1]
+  # default architecture and its suffix
+  set default [lindex $info 2]
+  set default_suffix [lindex $default 0]
+
+  log -header "Generating architectural options for $type"
+  log -push
+
+  wrapcell \
+    -setattr arithmetic_operator \
+    -setattr copy_pending \
+    -formatattr implements_operator $naming_template \
+    -formatattr architecture $default_suffix \
+    -formatattr source_cell $type \
+    -name ${naming_template}_${default_suffix} \
+    t:$type r:A_WIDTH>=10 r:Y_WIDTH>=14 %i %i
+
+  # make per-architecture copies of the unmapped module
+  foreach modname [tee -q -s result.string select -list-mod A:arithmetic_operator A:copy_pending] {
+    setattr -mod -unset copy_pending $modname
+
+    # iterate over non-default architectures
+    foreach arch [lrange $info 3 end] {
+      set suffix [lindex $arch 0]
+      set base [rtlil::get_attr -string -mod $modname implements_operator]
+      set newname ${base}_${suffix}
+      yosys copy $modname $newname
+      yosys setattr -mod -set architecture \"$suffix\" $newname
+    }
+  }
+
+  # iterate over all architectures, both the default and non-default
+  foreach arch [lrange $info 2 end] {
+    set suffix [lindex $arch 0]
+    set extra_map_args [lrange $arch 1 end]
+
+    # inject booth before we have techmap support for it
+    #booth A:source_cell=$type A:architecture=$suffix %i
+
+    # map all operator copies which were selected to have this architecture
+    techmap -map +/techmap.v {*}$extra_map_args A:source_cell=$type A:architecture=$suffix %i
+  }
+
+  log -pop
+}
+
+opt -fast -full
+memory_map
+opt -full
+# Get rid of indigestibles
+chformal -remove
+setattr -mod -set abc9_script {"+&dch;&nf -R 5;"} A:arithmetic_operator
+setattr -mod -set abc9_box 1 A:arithmetic_operator
+techmap -map +/choices/han-carlson.v