[sv-ac] {Disarmed} SVA: checker: Is timeunit/timeprecision allowed in a checker?

SOmehow, I think that it is disallowed, as it makes no sense, and besides,
that cannot be instantiated in a module multiple times.
Yet, what if the timeunit timeprecision is in a package that is imported
into the checker?  Then what? Allowed? Ignored?
Thanks,
Ben

*package* counter_pkg;

       *timeunit* 1ns; *timeprecision* 100ps;

       *`define* TOP counter_tb

       *const* *int* MAX_COUNT=9, MIN_COUNT=2;

       *typedef* *enum* {CT_LOAD, CT_RESET, CT_WAIT, CT_DONE} ct_scen_e;

*endpackage* : counter_pkg



checker cntr_chk(

     *input* *logic*[3:0] data_in,

     *input* *logic* ld,

     *input* *logic*[3:0] counter,

     *input* *logic* clk, rst_n,

     *output* *logic*[3:0] vout);
  *import* counter_pkg::*;  //   <---- ***** This imports the
timeunit/timeprecision
!!!!!

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.