wip

Author: oharboe

flow/scripts/plot_keep.py

@@ -18,10 +18,14 @@ def load_data(filename):
     return data
 
 
-def plot_data(x, y):
+def plot_data(x, y, labels):
+    # add a label along with each data point
     plt.scatter(x, y)
-    plt.xlabel("Yosys gate equivalents")
-    plt.ylabel("OpenROAD area (um^2)")
+    for i, label in enumerate(labels):
+        plt.annotate(label, (x[i], y[i]))
+    plt.xlabel("Yosys coarse gate equivalents")
+    plt.ylabel("Yosys fine synthesis gate equivalents")
+#    plt.ylabel("OpenROAD area (um^2)")
     plt.show()
 
 
@@ -33,9 +37,13 @@ def main():
     data2 = load_data(sys.argv[2])
     keys = set(data1.keys()) & set(data2.keys())
     max_value = 3000
-    x = [data1[key] for key in keys if data1[key] < max_value and data2[key] < max_value]
-    y = [data2[key] for key in keys if data1[key] < max_value and data2[key] < max_value]
-    plot_data(x, y)
+    #keys = [key for key in keys if data1[key] > max_value and data2[key] < 1000]
+    #print(keys)
+    x = [data1[key] for key in keys]
+    y = [data2[key] for key in keys]
+    #print(list(zip(keys, x, y)))
+    # label = [key for key in keys]
+    plot_data(x, y, keys)
 
 
 if __name__ == "__main__":

flow/scripts/report_gates.tcl

@@ -0,0 +1,48 @@
+source $::env(SCRIPTS_DIR)/yosys_load.tcl
+
+proc convert_liberty_areas {} {
+  cellmatch -derive_luts =A:liberty_cell
+  # find a reference nand2 gate
+  set found_cell ""
+  set found_cell_area ""
+  # iterate over all cells with a nand2 signature
+  foreach cell [tee -q -s result.string select -list-mod =*/a:lut=4'b0111 %m] {
+    if {! [rtlil::has_attr -mod $cell area]} {
+      puts "Cell $cell missing area information"
+      continue
+    }
+    set area [rtlil::get_attr -string -mod $cell area]
+    if {$found_cell == "" || [expr $area < $found_cell_area]} {
+      set found_cell $cell
+      set found_cell_area $area
+    }
+  }
+  if {$found_cell == ""} {
+    error "reference nand2 cell not found"
+  }
+
+  # convert the area on all Liberty cells to a gate number equivalent
+  foreach box [tee -q -s result.string select -list-mod =A:area =A:liberty_cell %i] {
+    set area [rtlil::get_attr -mod -string $box area]
+    set gate_eq [expr int($area / $found_cell_area)]
+    rtlil::set_attr -mod -uint $box gate_cost_equivalent $gate_eq
+  }
+}
+
+convert_liberty_areas
+
+setattr -unset A:keep_hierarchy=1
+
+# Don't know how to enumerate gate equivalents for cells in the design
+# so set keep threshold to one and parse log for now
+tee -o $::env(OBJECTS_DIR)/1_gates.txt keep_hierarchy -min_cost 1
+set f [open $::env(OBJECTS_DIR)/1_gates.txt r]
+set keep_hierarchy [read $f]
+close $f
+set f [open $::env(REPORTS_DIR)/1_gates.txt w]
+foreach line [split $keep_hierarchy \n] {
+  if {[regexp {Keeping (\S+) \(estimated size above threshold: (\d+) >} $line _ cell size]} {
+    puts $f "$cell $size"
+  }
+}
+close $f

flow/scripts/synth.tcl

@@ -15,7 +15,8 @@ if {![env_var_equals SYNTH_HIERARCHICAL 1]} {
 } else {
   # Perform standard coarse-level synthesis script,
   # defer flattening until we have decided what hierarchy to keep
-  synth -run :fine
+  procs
+  memory -nomap
 
   if {[env_var_exists_and_non_empty MAX_UNGROUP_SIZE]} {
     set ungroup_threshold $::env(MAX_UNGROUP_SIZE)
@@ -36,6 +37,7 @@ if {![env_var_equals SYNTH_HIERARCHICAL 1]} {
       }
     }
     close $f
+    exit 1
     # clear change and reapply it with the threshold
     setattr -unset A:keep_hierarchy=1
     keep_hierarchy -min_cost $ungroup_threshold