| Add Proposal | Add Analysis | Edit Class, Environment, or Release |
| Number | 469
|
| Category | errata
|
| Synopsis | 19.6: can `resetall occur within a module definition?
|
| State | open
|
| Class | errata-discuss
|
| Arrival-Date | Sep 14 2003
|
| Originator | "Brad Pierce" <Brad.Pierce@synopsys.com>
|
| Release | 2001b: 19.6
|
| Environment |
|
| Description |
There's nothing in 19.6 that would prevent `resetall from being used inside module definitions. But one of its effects, according to 19.2 is to reset the default net type to 'wire', and 19.2 says that the `default_nettype directive "can be used only outside of module definitions". Are there really fewer restrictions on where `resetall can occur than on where `default_nettype can occur? -- Brad |
| Fix |
|
| Audit-Trail |
From: Steven Sharp <sharp@cadence.com> To: etf-bugs@boyd.com, Brad.Pierce@synopsys.com Cc: Subject: Re: errata/469: 19.6: can `resetall occur within a module definition? Date: Mon, 15 Sep 2003 16:39:49 -0400 (EDT) >Are there really fewer restrictions on where `resetall can occur than on >where `default_nettype can occur? I agree that this seems strange. I have verified that XL and NC do actually allow this. The effect on implicit nets of doing a `resetall in the middle of the module is slightly different in the two simulators, and neither is necessarily what a user might expect. Steven Sharp sharp@cadence.com From: Shalom Bresticker <Shalom.Bresticker@motorola.com> To: Steven Sharp <sharp@cadence.com> Cc: etf-bugs@boyd.com Subject: Re: errata/469: 19.6: can `resetall occur within a module definition? Date: Wed, 24 Sep 2003 13:10:42 +0300 > >Are there really fewer restrictions on where `resetall can occur than on > >where `default_nettype can occur? > > I agree that this seems strange. > > I have verified that XL and NC do actually allow this. The effect on > implicit nets of doing a `resetall in the middle of the module is slightly > different in the two simulators, and neither is necessarily what a user > might expect. The same issue exists with `resetall with respect to `nounconnected_drive. An additional issue is that 19.6 says that the effect of `resetall is that "all compiler directives are set to the default values". We all know that the LRM specifies several exceptions to that rule. I suggest that those exceptions be grouped together and listed in 19.6. -- Shalom Bresticker Shalom.Bresticker@motorola.com Design & Reuse Methodology Tel: +972 9 9522268 Motorola Semiconductor Israel, Ltd. Fax: +972 9 9522890 POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 441478 |
| Unformatted |
|
Hosted by Boyd Technology