diff options
Diffstat (limited to 'src/grt/grt-vpi.adb')
| -rw-r--r-- | src/grt/grt-vpi.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/grt/grt-vpi.adb b/src/grt/grt-vpi.adb index 4efa39584..ee6a9fdf5 100644 --- a/src/grt/grt-vpi.adb +++ b/src/grt/grt-vpi.adb @@ -325,7 +325,7 @@ package body Grt.Vpi is raise Program_Error; end if; Res := Std_Time (Unsigned_64 (V.mHigh) * 2 ** 32 + Unsigned_64 (V.mLow)); - return Res * 1000; + return Res; end Vpi_Time_To_Time; ------------------------------------------------------------------------------- @@ -479,7 +479,7 @@ package body Grt.Vpi is when vpiType => Res := Ref.mType; when vpiTimePrecision => - Res := -12; -- In ps. + Res := -3 * Options.Time_Resolution_Scale; when vpiSize => Res := Vpi_Get_Size (Ref); when vpiVector => @@ -1148,7 +1148,7 @@ package body Grt.Vpi is Res := Current_Time; - V := To_Unsigned_64 (Res) / 1000; + V := To_Unsigned_64 (Res); Time.mHigh := Unsigned_32 (V / 2 ** 32); Time.mLow := Unsigned_32 (V mod 2 ** 32); Time.mReal := 0.0; |