[sv-ac] RE: checker: Is timeunit/timeprecision allowed in a checker?

Hi Ben,

My understanding is that timeunit/timeprecision declared in a package have impact in the scope of the package only. I don’t think that they are imported with import statement.

Thanks,
Dmitry

From: Ben Cohen [mailto:hdlcohen@gmail.com]
Sent: Tuesday, September 08, 2015 12:55 AM
To: Korchemny, Dmitry; sv-ac@eda-stds.org
Subject: 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 !!!!!



[https://mailtrack.io/trace/mail/c1de22764bb4d2e4e36cd82d1a1298c0aef378f6.png]

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