Parmys (Partial Mapper for Yosys) plugin

.github/workflows/build-and-test.sh

@@ -34,7 +34,7 @@ if [ "$PLUGIN_NAME" == "xdc" ] || [ "$PLUGIN_NAME" == "sdc" ]; then
 fi 
 
 export CXXFLAGS=-Werror
-make UHDM_INSTALL_DIR=`pwd`/env/conda/envs/yosys-plugins/ ${PLUGIN_NAME}.so -j`nproc`
+make UHDM_INSTALL_DIR=`pwd`/env/conda/envs/yosys-plugins/ VTR_INSTALL_DIR=`pwd`/env/conda/envs/yosys-plugins ${PLUGIN_NAME}.so -j`nproc`
 unset CXXFLAGS
 
 end_section

.github/workflows/ci.yml

@@ -38,6 +38,7 @@ jobs:
           - systemverilog
           - uhdm
           - dsp-ff
+          - parmys
 
     steps:
 

.github/workflows/licensing.yml

@@ -33,5 +33,12 @@ jobs:
           ./design_introspection-plugin/tests/selection_to_tcl_list/selection_to_tcl_list.v
           ./third_party/minilitex_ddr_arty/minilitex_ddr_arty.v
           ./third_party/VexRiscv_Lite/VexRiscv_Lite.v
+          ./third_party/vtr_flow/verilog/eltwise_layer.v
+          ./third_party/vtr_flow/verilog/raygentop.v
+          ./third_party/vtr_flow/verilog/hard_block_include.v
+          ./third_party/vtr_flow/arch/k6FracN10LB_mem20K_complexDSP_customSB_22nm.xml
+          ./third_party/vtr_flow/arch/k6_frac_N10_frac_chain_mem32K_40nm.xml
+          ./third_party/vtr_flow/primitives.v
         third_party: |
           ./third_party/googletest/
+          .third_party/mips32r1_core/

.gitmodules

@@ -4,3 +4,6 @@
 [submodule "third_party/make-env"]
 	path = third_party/make-env
 	url = https://github.com/SymbiFlow/make-env.git
+[submodule "third_party/mips32r1_core"]
+	path = third_party/mips32r1_core
+	url = https://github.com/grantae/mips32r1_core.git

Makefile

@@ -24,7 +24,7 @@
 # TODO: pass as -D to gcc so that modules can provide e.g. --version flags.
 PLUGIN_VERSION = 1.20230808
 
-PLUGIN_LIST := fasm xdc params sdc ql-iob design_introspection integrateinv ql-qlf systemverilog uhdm dsp-ff
+PLUGIN_LIST := fasm xdc params sdc ql-iob design_introspection integrateinv ql-qlf systemverilog uhdm dsp-ff parmys
 PLUGINS := $(foreach plugin,$(PLUGIN_LIST),$(plugin).so)
 PLUGINS_INSTALL := $(foreach plugin,$(PLUGIN_LIST),install_$(plugin))
 PLUGINS_CLEAN := $(foreach plugin,$(PLUGIN_LIST),clean_$(plugin))

environment.yml

@@ -22,3 +22,4 @@ dependencies:
   - litex-hub::yosys=0.17_7_g990c9b8e1=20220512_085338_py37
   - litex-hub::surelog
   - litex-hub::iverilog
+  - cas-atlantic::vtr-libs

parmys-plugin/Makefile

@@ -0,0 +1,93 @@
+# Copyright 2022 CAS—Atlantic (University of New Brunswick, CASA)
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+# SPDX-License-Identifier: Apache-2.0
+
+PLUGIN_DIR := $(abspath $(dir $(lastword $(MAKEFILE_LIST))))
+
+NAME = parmys
+SOURCES = parmys.cc \
+		  parmys_arch.cc \
+		  parmys_update.cc \
+		  parmys_utils.cc \
+		  parmys_resolve.cc \
+		  core/adder.cc \
+		  utils/enum_str.cc \
+		  mapping/mixing_optimization.cc \
+		  utils/read_xml_config_file.cc \
+		  utils/odin_error.cc \
+		  utils/odin_util.cc \
+		  netlist/netlist_statistic.cc \
+		  netlist/netlist_utils.cc \
+		  netlist/netlist_cleanup.cc \
+		  netlist/netlist_visualizer.cc \
+		  netlist/node_utils.cc \
+		  core/multiplier.cc \
+		  core/subtractor.cc \
+		  mapping/hard_soft_logic_mixer.cc \
+		  mapping/odin_ii.cc \
+		  utils/string_cache.cc \
+		  mapping/partial_map.cc \
+		  core/hard_block.cc \
+		  core/block_memory.cc \
+		  core/memory.cc \
+		  utils/hash_table.cc \
+		  utils/ast_util.cc
+
+VTR_INSTALL_DIR ?= /usr/local
+
+include ../Makefile_plugin.common
+
+CXXFLAGS += -std=c++14 -Wall -W -Wextra \
+            -Wno-deprecated-declarations \
+            -Wno-unused-parameter \
+            -I. \
+			-Icore \
+			-Imapping \
+			-Inetlist \
+			-Iutils \
+			-I${VTR_INSTALL_DIR}/include/libarchfpga \
+			-I${VTR_INSTALL_DIR}/include/liblog \
+			-I${VTR_INSTALL_DIR}/include/libpugiutil \
+			-I${VTR_INSTALL_DIR}/include/libpugixml \
+			-I${VTR_INSTALL_DIR}/include/librtlnumber \
+			-I${VTR_INSTALL_DIR}/include/libvtrutil
+
+LDFLAGS += -L${VTR_INSTALL_DIR}/lib \
+		   -L${VTR_INSTALL_DIR}/bin
+
+LDLIBS += -larchfpga \
+		  -lvtrutil \
+		  -llog \
+		  -lpugixml \
+		  -lpugiutil \
+		  -lrtlnumber \
+		  -lpthread
+
+TECHLIBS_DIR = techlibs
+VERILOG_MODULES = adff2dff.v \
+				  adffe2dff.v \
+				  aldff2dff.v \
+				  aldffe2dff.v \
+				  vtr_primitives.v
+
+install_modules:
+	$(foreach f, $(wildcard $(TECHLIBS_DIR)/*), install -D $(f) $(YOSYS_DATA_DIR)/parmys/$(notdir $(f));)
+
+install: install_modules
+
+clean_modules:
+	rm -rf ./third_party
+
+clean: clean_modules