From 209e3548bfc101e28ab59ed46bc3618869f2d90d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonathan=20Schr=C3=B6ter?= <jonathan.schroeter@hm.edu>
Date: Wed, 22 Oct 2025 08:50:24 +0200
Subject: [PATCH] fix: Changed instrumentation directive from model to callback

---
 src/verilog.l | 2 +-
 src/verilog.y | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/verilog.l b/src/verilog.l
index 1aec846cc..eff7e8d50 100644
--- a/src/verilog.l
+++ b/src/verilog.l
@@ -145,13 +145,13 @@ vnum    {vnum1}|{vnum2}|{vnum3}|{vnum4}|{vnum5}
   "tracing_on"          { FL; return yVLT_TRACING_ON; }
 
   -?"-block"            { FL; return yVLT_D_BLOCK; }
+  -?"-callback"         { FL; return yVLT_D_CALLBACK; }
   -?"-contents"         { FL; return yVLT_D_CONTENTS; }
   -?"-cost"             { FL; return yVLT_D_COST; }
   -?"-file"             { FL; return yVLT_D_FILE; }
   -?"-function"         { FL; return yVLT_D_FUNCTION; }
   -?"-hier-dpi"         { FL; return yVLT_D_HIER_DPI; }
   -?"-id"               { FL; return yVLT_D_ID; }
-  -?"-instance"         { FL; return yVLT_D_INSTANCE; }
   -?"-levels"           { FL; return yVLT_D_LEVELS; }
   -?"-lines"            { FL; return yVLT_D_LINES; }
   -?"-match"            { FL; return yVLT_D_MATCH; }
diff --git a/src/verilog.y b/src/verilog.y
index 5e1ca5da6..93276c0a2 100644
--- a/src/verilog.y
+++ b/src/verilog.y
@@ -272,13 +272,13 @@ BISONPRE_VERSION(3.7,%define api.header.include {"V3ParseBison.h"})
 %token<fl>              yVLT_TRACING_ON             "tracing_on"
 
 %token<fl>              yVLT_D_BLOCK    "--block"
+%token<fl>              yVLT_D_CALLBACK "--callback"
 %token<fl>              yVLT_D_CONTENTS "--contents"
 %token<fl>              yVLT_D_COST     "--cost"
 %token<fl>              yVLT_D_FILE     "--file"
 %token<fl>              yVLT_D_FUNCTION "--function"
 %token<fl>              yVLT_D_HIER_DPI "--hier-dpi"
 %token<fl>              yVLT_D_ID       "--id"
-%token<fl>              yVLT_D_INSTANCE "--instance"
 %token<fl>              yVLT_D_LEVELS   "--levels"
 %token<fl>              yVLT_D_LINES    "--lines"
 %token<fl>              yVLT_D_MATCH    "--match"
@@ -8013,7 +8013,7 @@ vltItem:
                         { /* Historical, now has no effect */ }
         |       vltInlineFront vltDModuleE vltDFTaskE
                         { V3Control::addInline($<fl>1, *$2, *$3, $1); }
-        |       yVLT_INSTRUMENT yVLT_D_MODEL yaSTRING yVLT_D_ID yaINTNUM yVLT_D_TARGET yaSTRING
+        |       yVLT_INSTRUMENT yVLT_D_CALLBACK yaSTRING yVLT_D_ID yaINTNUM yVLT_D_TARGET yaSTRING
                         { V3Control::addInstrumentCfg($<fl>1, *$3, $5->toSInt(), *$7); }
         |       yVLT_COVERAGE_BLOCK_OFF vltDFile
                         { V3Control::addCoverageBlockOff(*$2, 0); }