Subject: [sv-ac] Errata in Section 17 of LRM
From: David W. Smith (david.smith@synopsys.com)
Date: Tue Aug 26 2003 - 08:52:16 PDT
Greetings,
I have added LRM-15 to remove the duplicated text that is indicated below.
The status of the LRM change is Proposed. Please let me know when the change
on the site is approved.
To find the change please go to: http://www.eda-twiki.org/sv/LRMChanges.html
Regards
David
David W. Smith
Synopsys Scientist
Synopsys, Inc.
Synopsys Technology Park
2025 NW Cornelius Pass Road
Hillsboro, OR 97124
Voice: 503.547.6467
Main: 503.547.6000
FAX: 503.547.6906
Email: david.smith@synopsys.com
http://www.synopsys.com
> -----Original Message-----
> From: Tom Fitzpatrick [mailto:fitz@Synopsys.COM]
> Sent: Tuesday, August 26, 2003 8:06 AM
> To: David Smith
> Cc: Surrendra A. Dudani
> Subject: Errata p.188
>
> Hi David,
>
> At the bottom of p. 188 in the final draft, there is an example of binding
> an interface to a module instance with the bind keyword:
>
> Binding of a module instance or an interface instance works the same way
> as described for programs above.
> interface range (input clk,enable, input int minval,expr);
> property crange_en;
> @(posedge clk) enable |-> (minval <= expr);
> endproperty
> range_chk: assert property (crange_en);
> endinteface
> bind cr_unit range r1(c_clk,c_en,v_low,(in1&&in2));
>
> In this example, interface range is instantiated in the module cr_unit.
> Effectively, every instance of module
> cr_unit shall contain the interface instance r1.
> Where:
> — cpu1 is the name of module instance (cpu1 is an instance of module of
> module cpu).
> — fpu_props is the name of the program containing properties.
> — fpu_rules_1 is the program instance name.
> — Ports (a, b,c) get bound to signals (a,b,c) of module instance cpu1.
> — Only the cpu1 instance of cpu gets the properties.
> By binding a program to a module or an instance, the program becomes part
> of the bound object. The names of
> assertion related declarations can be referenced using the SystemVerilog
> hierarchical naming conventions.
>
> Unfortunately, everything after the "Where:" is a cut-and-past from the
> preceding program example and does not apply to this particular example.
>
> Thanks,
> -Fitz
> ------------------------------------------------------
> Tom Fitzpatrick
> Sr. Manager, Verification Group Technical Marketing
> Synopsys, Inc.
> ------------------------------------------------------
> Email: fitz@synopsys.com Mobile: (978)337-7641
> Tel: (978)448-8797 Fax: (561)594-3946
> ------------------------------------------------------
This archive was generated by hypermail 2b28 : Tue Aug 26 2003 - 08:49:47 PDT