No, they are forbidden there. Checker syntax does not allow them. Thanks, Dmitry From: Ben Cohen [mailto:hdlcohen@gmail.com] Sent: Tuesday, September 08, 2015 3:35 PM To: Dmitry Korchemny Cc: sv-ac@eda-stds.org Subject: Re: checker: Is timeunit/timeprecision allowed in a checker? What about the checker, are they allowed? 1800 does not address that. Thanks, Ben On Tuesday, September 8, 2015, Dmitry Korchemny <Dmitry.Korchemny@synopsys.com<mailto:Dmitry.Korchemny@synopsys.com>> wrote: 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<javascript:_e(%7B%7D,'cvml','hdlcohen@gmail.com');>] Sent: Tuesday, September 08, 2015 12:55 AM To: Korchemny, Dmitry; sv-ac@eda-stds.org<javascript:_e(%7B%7D,'cvml','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.Received on Tue Sep 8 05:39:22 2015
This archive was generated by hypermail 2.1.8 : Tue Sep 08 2015 - 05:39:29 PDT
