Pass time-resolution to grt.

Use time-resolution for Put_Time.
Use time-resolution for --stop-time (Parse_Time).
Use time-resolution as VpiTimePrecision and for vcd.
TODO: ghw (but needs to update ghwlib and gtkwave)

Fix #672

1 files changed, 15 insertions, 1 deletions

diff --git a/src/grt/grt-vcd.adb b/src/grt/grt-vcd.adb
index 9050a26a4..b058dcdaf 100644
--- a/src/grt/grt-vcd.adb
+++ b/src/grt/grt-vcd.adb
@@ -53,6 +53,7 @@ with Grt.Vstrings;
 with Grt.Wave_Opt; use Grt.Wave_Opt;
 with Grt.Wave_Opt.Design; use Grt.Wave_Opt.Design;
 with Grt.Fcvt;
+with Grt.Options;
 pragma Elaborate_All (Grt.Table);
 
 package body Grt.Vcd is
@@ -241,7 +242,20 @@ package body Grt.Vcd is
       Vcd_Putline ("  GHDL v0");
       Vcd_Put_End;
       Vcd_Putline ("$timescale");
-      Vcd_Putline ("  1 fs");
+      case Options.Time_Resolution_Scale is
+         when 5 =>
+            Vcd_Putline ("  1 fs");
+         when 4 =>
+            Vcd_Putline ("  1 ps");
+         when 3 =>
+            Vcd_Putline ("  1 ns");
+         when 2 =>
+            Vcd_Putline ("  1 us");
+         when 1 =>
+            Vcd_Putline ("  1 ms");
+         when 0 =>
+            Vcd_Putline ("  1 sec");
+      end case;
       Vcd_Put_End;
    end Vcd_Init;