Fully implemented yosys-slang as a plugin for yosys

Author: loglav03

libs/EXTERNAL/CMakeLists.txt

@@ -91,11 +91,17 @@ if (${WITH_PARMYS})
 	        COMMAND ${GIT_EXECUTABLE} submodule foreach --recursive git\ submodule\ update\ --init
 	        WORKING_DIRECTORY ${SLANG_SRC_DIR}
 	    )
+        set(SLANG_FE "${SLANG_SRC_DIR}/src/slang_frontend.cc")
         ExternalProject_Add(
             yosys-slang
             SOURCE_DIR ${SLANG_SRC_DIR}
             BINARY_DIR ${SLANG_BUILD_DIR}
 
+            PATCH_COMMAND
+                ${CMAKE_COMMAND} -E echo "Patching slang_frontend.cc to disable UndrivenPass" &&
+                ${CMAKE_COMMAND} -DIN=${SLANG_FE} -P ${CMAKE_CURRENT_SOURCE_DIR}/patch_slang.cmake
+                
+
             CONFIGURE_COMMAND
                 ${CMAKE_COMMAND} -DCMAKE_BUILD_TYPE=Release
                 -DYOSYS_CONFIG=${YOSYS_CONFIG_EXECUTABLE}

libs/EXTERNAL/patch_slang.cmake

@@ -0,0 +1,9 @@
+if(NOT DEFINED IN)
+	message(FATAL_ERROR "patch_slang.cmake: IN (SLANG_FE) variable not set.")
+endif()
+file(READ "${IN}" SLANG_FRONTEND_CONTENTS)
+string(REPLACE "call(design, \"undriven\");" "// call(design, \"undriven\");" SLANG_PATCHED "${SLANG_FRONTEND_CONTENTS}")
+        if(NOT SLANG_FRONTEND_CONTENTS STREQUAL SLANG_PATCHED)
+            message(STATUS "Patching slang_frontend.cc to disable UndrivenPass")
+            file(WRITE "${IN}" "${SLANG_PATCHED}")
+        endif()

vtr_flow/misc/yosys/synthesis.tcl

@@ -1,12 +1,14 @@
 yosys -import
-
+#puts "Files in here: [glob -nocomplain *]"
 plugin -i parmys
-plugin -i slang
-yosys -import
 
 read_verilog -nomem2reg +/parmys/vtr_primitives.v
 setattr -mod -set keep_hierarchy 1 single_port_ram
 setattr -mod -set keep_hierarchy 1 dual_port_ram
+setattr -mod -set keep 1 dual_port_ram
+
+plugin -i slang
+yosys -import
 
 # synlig path error handling
 if {[catch {set synlig $::env(synlig_exe_path)} err]} {
@@ -25,10 +27,6 @@ if {[catch {set synlig $::env(synlig_exe_path)} err]} {
 # output file: ZZZ
 
 parmys_arch -a QQQ
-if {$env(PARSER) == "slang" } {
-	puts "Using yosys-slang read_slang command"
-	read_slang XXX
-}
 
 #if {$env(PARSER) == "surelog" } {
 #	puts "Using Synlig read_uhdm command"
@@ -37,8 +35,35 @@ if {$env(PARSER) == "slang" } {
 #} elseif {$env(PARSER) == "system-verilog" } {
 #	puts "Using Synlig read_systemverilog "
 #	exec $synlig -p "read_systemverilog XXX"
-#	} 
-elseif {$env(PARSER) == "default" } {
+#	}
+
+if {$env(PARSER) == "slang" } {
+	# Create a file list containing the name(s) of file(s)
+	# to read together with read_slang
+	set sv_files {}
+	set v_files {}
+	set readfile [file join [pwd] "filelist.txt"]
+	set fh [open $readfile "w"]
+	foreach f {XXX} {
+		set ext [string tolower [file extension $f]]
+		switch -- $ext {
+			.sv {
+				lappend $sv_files $f
+				puts $fh $f
+			}
+			.v {
+				error "Use default parser to parse .v files."
+			}
+		}
+	}
+	close $fh
+	if {[llength $sv_files] > 0} {
+		#puts "Using Yosys read_slang command"
+		#read_slang -C $readfile
+	}
+	puts "Using Yosys read_slang command"
+	read_slang -C $readfile
+} elseif {$env(PARSER) == "default" } {
 	puts "Using Yosys read_verilog command"
 	read_verilog -sv -nolatches XXX
 } else {
@@ -81,7 +106,8 @@ opt -full
 if {$env(PARSER) == "default" || $env(PARSER) == "slang"} {
     # For Verilog, use -nopass for a simpler, faster flow
     parmys -a QQQ -nopass -c CCC YYY
-} #elseif {$env(PARSER) == "slang"} {
+} 
+#elseif {$env(PARSER) == "slang"} {
     # For Slang, run additional passes to handle complexity
 #    parmys -a QQQ -c CCC YYY
 #}