From f1ca97f78faacd4cc9d9580bf6e7dda4d922ed7a Mon Sep 17 00:00:00 2001
From: mole99 <leomoser99@gmail.com>
Date: Thu, 15 Jun 2023 09:18:41 +0200
Subject: [PATCH 1/2] SDF: Add TIMINGCHECK warning

---
 vpi/sdf_parse.y | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/vpi/sdf_parse.y b/vpi/sdf_parse.y
index dc1e1947a..588fe3b69 100644
--- a/vpi/sdf_parse.y
+++ b/vpi/sdf_parse.y
@@ -82,7 +82,7 @@ char sdf_use_hchar = '.';
 source_file
   : '(' K_DELAYFILE sdf_header_list cell_list ')'
   | '(' K_DELAYFILE error ')'
-      { vpi_printf("%s:%d:SDF ERROR: Invalid DELAYFILE format\n",
+      { vpi_printf("SDF ERROR: %s:%d: Invalid DELAYFILE format\n",
 		   sdf_parse_path, @2.first_line);
       }
   ;
@@ -234,7 +234,7 @@ cell
 	if ($4) free($4);
       }
   | '(' K_CELL error ')'
-      { vpi_printf("%s:%d: Syntax error in CELL\n",
+      { vpi_printf("SDF ERROR: %s:%d: Syntax error in CELL\n",
 		   sdf_parse_path, @2.first_line); }
   ;
 
@@ -251,7 +251,7 @@ cell_instance
   | '(' K_INSTANCE '*' ')'
       { $$ = 0; }
   | '(' K_INSTANCE error ')'
-      { vpi_printf("%s:%d:SDF ERROR: Invalid/malformed INSTANCE argument\n",
+      { vpi_printf("SDF ERROR: %s:%d: Invalid/malformed INSTANCE argument\n",
 		   sdf_parse_path, @2.first_line);
 	    $$ = strdup(""); }
   ;
@@ -264,11 +264,13 @@ timing_spec_list_opt
 timing_spec
   : '(' K_DELAY deltype_list ')'
   | '(' K_DELAY error ')'
-      { vpi_printf("%s:%d: Syntax error in CELL DELAY SPEC\n",
+      { vpi_printf("SDF ERROR: %s:%d: Syntax error in CELL DELAY SPEC\n",
 		   sdf_parse_path, @2.first_line); }
   | '(' K_TIMINGCHECK tchk_def_list ')'
+      { vpi_printf("SDF WARNING: %s:%d: TIMINGCHECK not supported.\n",
+		   sdf_parse_path, @2.first_line); }
   | '(' K_TIMINGCHECK error ')'
-      { vpi_printf("%s:%d: Syntax error in TIMINGCHECK SPEC\n",
+      { vpi_printf("SDF ERROR: %s:%d: Syntax error in TIMINGCHECK SPEC\n",
 		   sdf_parse_path, @2.first_line); }
   ;
 
@@ -587,5 +589,5 @@ signed_real_number
 
 void yyerror(const char*msg)
 {
-      vpi_printf("%s:SDF ERROR: Too many errors: %s\n", sdf_parse_path, msg);
+      vpi_printf("SDF ERROR: %s: Too many errors: %s\n", sdf_parse_path, msg);
 }

From 340e6fa020aaf367c05e47d12ea0f16ccc69110f Mon Sep 17 00:00:00 2001
From: mole99 <leomoser99@gmail.com>
Date: Thu, 15 Jun 2023 10:06:03 +0200
Subject: [PATCH 2/2] Update gold file

---
 ivtest/gold/br_ml20190814.gold | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ivtest/gold/br_ml20190814.gold b/ivtest/gold/br_ml20190814.gold
index e69de29bb..6ca67f157 100644
--- a/ivtest/gold/br_ml20190814.gold
+++ b/ivtest/gold/br_ml20190814.gold
@@ -0,0 +1 @@
+SDF WARNING: ivltests/br_ml20190814.sdf:37: TIMINGCHECK not supported.