From a6db81e655e07507d3aa25c660f0fd51f1594be1 Mon Sep 17 00:00:00 2001
From: James Stine <jstine@sakuya.ecen.okstate.edu>
Date: Thu, 10 Feb 2022 17:42:44 -0600
Subject: [PATCH] fix booboos from last push

---
 synthDC/.synopsys_dc.setup |  2 +-
 synthDC/README.md          | 12 ++++--------
 synthDC/scripts/synth.tcl  |  7 +------
 3 files changed, 6 insertions(+), 15 deletions(-)

diff --git a/synthDC/.synopsys_dc.setup b/synthDC/.synopsys_dc.setup
index 16692322..22884084 100755
--- a/synthDC/.synopsys_dc.setup
+++ b/synthDC/.synopsys_dc.setup
@@ -27,7 +27,7 @@ set target_library [list]
 
 #lappend target_library scc9gena_tt_1.2v_25C.db
 if {$tech == "sky130"} {
-    lappend target_library ../addins/sky130_osu_sc_t12/12T_ms/lib/sky130_osu_sc_12T_ms_TT_1P8_25C.ccs.db
+    lappend target_library $s8lib/sky130_osu_sc_12T_ms_TT_1P8_25C.ccs.db
 } elseif {$tech == "sky90"} {
     lappend target_library $s9lib/scc9gena_tt_1.2v_25C.db
 }
diff --git a/synthDC/README.md b/synthDC/README.md
index 12c9e5a0..7f257b6d 100644
--- a/synthDC/README.md
+++ b/synthDC/README.md
@@ -5,7 +5,7 @@ This subdirectory contains synthesis scripts for use with Synopsys
 scripts/synth.tcl.
 
 Example Usage
-make synth DESIGN=wallypipelinedcore FREQ=300
+make synth DESIGN=wallypipelinedcore FREQ=500
 
 environment variables
 
@@ -13,7 +13,7 @@ DESIGN
         Design provides the name of the output log.  Default is synth.
 
 FREQ
-        Frequency in Mhz.  Default is 500
+        Frequency in MHz.  Default is 500
 
 CONFIG
         The wally configuration file.  Default is rv32e.
@@ -24,8 +24,8 @@ CONFIG
 
 TECH
         The target standard cell library.  Default is 130.
-        90: skywater 90nm tt 25C.
-        130: skywater 130nm tt 25C.
+        sky90: skywater 90nm TT 25C
+        sky130: skywater 130nm TT 25C
 
 SAIFPOWER
         Controls if power analysis is driven by switching factor or RTL modelsim simulation.
@@ -34,7 +34,3 @@ SAIFPOWER
         0: switching factor power analysis
         1: RTL simulation driven power analysis.
 
-Libraries in .synopsys_dc.setup file
-set s8lib $timing_lib/sky130_osu_sc_t12/12T_ms/lib
-
-
diff --git a/synthDC/scripts/synth.tcl b/synthDC/scripts/synth.tcl
index 14f09785..eaf8ee99 100755
--- a/synthDC/scripts/synth.tcl
+++ b/synthDC/scripts/synth.tcl
@@ -3,18 +3,13 @@
 # james.stine@okstate.edu 27 Sep 2015
 #
 
-if { [info exists ::env(SAIFPOWER)] } {
-   set saifpower $::env(SAIFPOWER)
-} else {
-   set saifpower 0   
-}
-
 # get outputDir from environment (Makefile)
 set outputDir $::env(OUTPUTDIR)
 set cfgName $::env(CONFIG)
 # Config
 set hdl_src "../pipelined/src"
 set cfg "${hdl_src}/../config/${cfgName}/wally-config.vh"
+set saifpower $::env(SAIFPOWER)
 
 eval file copy -force ${cfg} {hdl/}
 eval file copy -force ${cfg} $outputDir