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> 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 > !!!!! > > > > > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Sep 8 05:35:19 2015
This archive was generated by hypermail 2.1.8 : Tue Sep 08 2015 - 05:35:37 PDT