From 3e9a5c68b136fb073d0cdd186ffe8002becfd465 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Wed, 18 Feb 2026 21:57:14 -0800 Subject: [PATCH] Switch back to main Verific without VHDL support --- Makefile | 2 +- tests/verific/README.md | 2 ++ tests/verific/import_warning_operator.ys | 5 ----- tests/verific/{mixed_flist.ys => mixed_flist.ys.DISABLED} | 0 verific | 2 +- 5 files changed, 4 insertions(+), 7 deletions(-) delete mode 100644 tests/verific/import_warning_operator.ys rename tests/verific/{mixed_flist.ys => mixed_flist.ys.DISABLED} (100%) diff --git a/Makefile b/Makefile index 88b9c6c1c..81e39cd43 100644 --- a/Makefile +++ b/Makefile @@ -17,7 +17,7 @@ ENABLE_GHDL := 0 ENABLE_SLANG := 0 ENABLE_VERIFIC := 1 ENABLE_VERIFIC_SYSTEMVERILOG := 1 -ENABLE_VERIFIC_VHDL := 1 +ENABLE_VERIFIC_VHDL := 0 ENABLE_VERIFIC_HIER_TREE := 1 ENABLE_VERIFIC_SILIMATE_EXTENSIONS := 1 ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 0 diff --git a/tests/verific/README.md b/tests/verific/README.md index aa4ce6ca1..a8d28f270 100644 --- a/tests/verific/README.md +++ b/tests/verific/README.md @@ -2,6 +2,8 @@ ## Disabled +- `import_warning_operator`: no VHDL +- `mixed_flist`: no VHDL - `memory_semantics`: relies on initial values being retained, which we do not want - `rom_case`: we need different behavior for multi-port memories - `blackbox*`: we need different behavior for parametrized blackboxes diff --git a/tests/verific/import_warning_operator.ys b/tests/verific/import_warning_operator.ys deleted file mode 100644 index 1ecd6d296..000000000 --- a/tests/verific/import_warning_operator.ys +++ /dev/null @@ -1,5 +0,0 @@ -logger -expect warning "import_warning_operator.vhd:[0-9]+.[0-9]+-[0-9]+.[0-9]+: Unsupported Verific operator: nor_4 \(fallback to gate level implementation provided by verific\)" 1 -verific -vhdl import_warning_operator.vhd -verific -import top -logger -check-expected -design -reset diff --git a/tests/verific/mixed_flist.ys b/tests/verific/mixed_flist.ys.DISABLED similarity index 100% rename from tests/verific/mixed_flist.ys rename to tests/verific/mixed_flist.ys.DISABLED diff --git a/verific b/verific index 01ad443c3..4feaf1f92 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 01ad443c3fff2a92c9473b69291ac32ef788683a +Subproject commit 4feaf1f923157af0ed064eab8e302647bd5fa1b7