ci: add option to build with Verific

Signed-off-by: Vitor Bandeira <[email protected]>

Author: vvbandeira

build_openroad.sh

@@ -29,13 +29,18 @@ OPENROAD_APP_ARGS=""
 DOCKER_OS_NAME="ubuntu22.04"
 PROC=-1
 
+VERIFIC_COMPONENTS='database util containers pct hier_tree verilog'
+WITH_VERIFIC=0
+VERIFIC_DIR=""
+
 function usage() {
         cat << EOF
 
 Usage: $0 [-h|--help] [-o|--local] [-l|--latest]
           [--or_branch BRANCH_NAME] [--or_repo REPO_URL] [--no_init]
           [-n|--nice] [-t|--threads N]
           [--yosys-args-overwrite] [--yosys-args STRING]
+          [--with-verific PATH]
           [--openroad-args-overwrite] [--openroad-args STRING]
           [--install-path PATH] [--clean] [--clean-force]
 
@@ -67,6 +72,9 @@ Options:
 
     --yosys-args STRING     Additional compilation flags for Yosys compilation.
 
+    --with-verific PATH     Compile Yosys with Verific support. PATH is the path
+                            to the Verific source folder.
+
     --openroad-args-overwrite
                             Do not use default flags set by this scrip during
                             OpenROAD app compilation.
@@ -140,6 +148,19 @@ while (( "$#" )); do
                         YOSYS_USER_ARGS="$2"
                         shift
                         ;;
+                --with-verific)
+                        YOSYS_USER_ARGS+=" ENABLE_VERIFIC=1"
+                        YOSYS_USER_ARGS+=" ENABLE_VERIFIC_VHDL=0"
+                        YOSYS_USER_ARGS+=" VERIFIC_COMPONENTS='${VERIFIC_COMPONENTS}'"
+                        VERIFIC_DIR=${2}
+                        if [ ! -d "${VERIFIC_DIR}" ]; then
+                                echo "[ERROR] Verific path '${VERIFIC_DIR}' does not exist." >&2
+                                exit 1
+                        fi
+                        YOSYS_USER_ARGS+=" VERIFIC_DIR=${VERIFIC_DIR}"
+                        WITH_VERIFIC=1
+                        shift
+                        ;;
                 --openroad-args-overwrite)
                         OPENROAD_APP_OVERWRITE_ARGS=1
                         ;;
@@ -254,13 +275,27 @@ __local_build()
             git --work-tree=${YOSYS_ABC_PATH} --git-dir=${YOSYS_ABC_PATH}/.git update-index --refresh
         fi
 
+        if [ ${WITH_VERIFIC} -eq 1 ]; then
+                echo "[INFO FLW-0031] Compiling Verific components."
+                cp -r "${VERIFIC_DIR}" verific
+                for c in ${VERIFIC_COMPONENTS}; do
+                        make -j -C "verific/${c}" clean
+                        make -j -C "verific/${c}"
+                done
+        fi
+
         echo "[INFO FLW-0017] Compiling Yosys."
-        ${NICE} make install -C tools/yosys -j "${PROC}" ${YOSYS_ARGS}
+        eval ${NICE} make install -C tools/yosys -j "${PROC}" ${YOSYS_ARGS}
 
         echo "[INFO FLW-0030] Compiling yosys-slang."
         # CMAKE_FLAGS added to work around yosys-slang#141 (unable to build outside of git checkout)
         ${NICE} make install -C tools/yosys-slang -j "${PROC}" YOSYS_PREFIX="${INSTALL_PATH}/yosys/bin/" CMAKE_FLAGS="-DYOSYS_SLANG_REVISION=unknown -DSLANG_REVISION=unknown"
 
+        if [ ${WITH_VERIFIC} -eq 1 ]; then
+                echo "[INFO FLW-0032] Cleaning up Verific components."
+                rm -rf verific
+        fi
+
 }
 
 __update_openroad_app_remote()