load SVA checker only when using it

pezy-computing · Feb 20, 2024 · 397ad7e · 397ad7e
1 parent 9649e97
commit 397ad7e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 10 deletions.
diff --git a/pzcorebus_common/pzcorebus_common.list.rb b/pzcorebus_common/pzcorebus_common.list.rb
@@ -28,6 +28,9 @@
   'pzcorebus_if_bundler.sv',
   'pzcorebus_if_unbundler.sv',
   'pzcorebus_bundled_array_if_packer.sv',
-  'pzcorebus_bundled_array_if_unpacker.sv',
-  'pzcorebus_sva_checker.sv'
+  'pzcorebus_bundled_array_if_unpacker.sv'
 ].each { |file| source_file file }
+
+if [:SYNTHESIS, :PZCOREBUS_DISABLE_SVA_CHECKER].none? { |m| macro? m }
+  source_file 'pzcorebus_sva_checker.sv'
+end
diff --git a/pzcorebus_common/pzcorebus_sva_checker.sv b/pzcorebus_common/pzcorebus_sva_checker.sv
@@ -4,13 +4,6 @@
 //                    All Rights Reserved.
 //
 //========================================
-`ifndef PZCOREBUS_DISABLE_SVA_CHECKER
-  `ifdef  SYNTHESIS
-    `define PZCOREBUS_DISABLE_SVA_CHECKER
-  `endif
-`endif
-
-`ifndef PZCOREBUS_DISABLE_SVA_CHECKER
 module pzcorebus_request_sva_checker
   import  pzcorebus_pkg::*;
 #(
@@ -142,4 +135,3 @@ module pzcorebus_response_sva_checker
     end
   end
 endmodule
-`endif