| Number | 611
|
| Notify-List |
|
| Category | errata
|
| Synopsis | 14.6.4.2: Errors in last example
|
| State | lrmdraft
|
| Class | errata-simple
|
| Arrival-Date | Jul 30 2004
|
| Originator | sharp@cadence.com (Behavioral Task Force)
|
| Release | 2001c: 14.6.4.2
|
| Environment |
|
| Description |
Pooja Maheshwari of Agere pointed this problem out to me. It occurs in 14.6.4.2, in the second example that is labelled example 2 (and should therefore actually be example 3). This is the last example in the section. The example shows two specify blocks that supposedly produce the same result. The first block contains two path delays from (a=>out), and two from (b=>out_b). The second contains path delays from (a=>out), (a=>out_b), (b=>out), and (b=>out_b). I don't know much about specify blocks, but this certainly looks wrong to me. I assume that there was a typo in one of the two specify blocks, probably the first one. |
| Fix |
In 14.6.4.2, CHANGE the second Example 2 FROM "Example 2-Both these specify blocks produce the same result. Outputs out and out_b are both declared showcancelled and on_detect. specify showcancelled out; pulsestyle_ondetect out; (a =>out)=(2,3); (a=>out)=(4,5); showcancelled out_b; pulsestyle_ondetect out_b; (b=>out_b)=(5,6); (b=>out_b)=(3,4); endspecify specify showcancelled out,out_b; pulsestyle_ondetect out,out_b; (a =>out)=(2,3); (b=>out)=(3,4); (a =>out_b)=(3,4); (b=>out_b)=(5,6); endspecify" TO "Example 3-Both these specify blocks produce the same result. Outputs out and out_b are both declared showcancelled and on-detect. specify showcancelled out; pulsestyle_ondetect out; (a => out)=(2,3); (b => out)=(4,5); showcancelled out_b; pulsestyle_ondetect out_b; (a => out_b)=(3,4); (b => out_b)=(5,6); endspecify specify showcancelled out,out_b; pulsestyle_ondetect out,out_b; (a => out)=(2,3); (b => out)=(4,5); (a => out_b)=(3,4); (b => out_b)=(5,6); endspecify" In addition to "specify" and "endspecify" being bold, "showcancelled" and "pulsestyle_ondetect" should also be bold. |
| Audit-Trail |
Fix replaced by Shalom.Bresticker@freescale.com on Tue Nov 23 02:00:28 2004 In 14.6.4.2, CHANGE the second Example 2 FROM "Example 2-Both these specify blocks produce the same result. Outputs out and out_b are both declared showcancelled and on_detect. specify showcancelled out; pulsestyle_ondetect out; (a =>out)=(2,3); (a=>out)=(4,5); showcancelled out_b; pulsestyle_ondetect out_b; (b=>out_b)=(5,6); (b=>out_b)=(3,4); endspecify specify showcancelled out,out_b; pulsestyle_ondetect out,out_b; (a =>out)=(2,3); (b=>out)=(3,4); (a =>out_b)=(3,4); (b=>out_b)=(5,6); endspecify" TO "Example 3-Both these specify blocks produce the same result. Outputs out and out_b are both declared showcancelled and on_detect. specify showcancelled out; pulsestyle_ondetect out; (a => out)=(2,3); (b => out)=(4,5); showcancelled out_b; pulsestyle_ondetect out_b; (a => out_b)=(3,4); (b => out_b)=(5,6); endspecify specify showcancelled out,out_b; pulsestyle_ondetect out,out_b; (a => out)=(2,3); (b => out)=(4,5); (a => out_b)=(3,4); (b => out_b)=(5,6); endspecify" In addition to "specify" and "endspecify" being bold, "showcancelled" and "pulsestyle_ondetect" should also be bold. Fix replaced by Shalom.Bresticker@freescale.com on Mon Nov 29 09:30:04 2004 In 14.6.4.2, CHANGE the second Example 2 FROM "Example 2-Both these specify blocks produce the same result. Outputs out and out_b are both declared showcancelled and on_detect. specify showcancelled out; pulsestyle_ondetect out; (a =>out)=(2,3); (a=>out)=(4,5); showcancelled out_b; pulsestyle_ondetect out_b; (b=>out_b)=(5,6); (b=>out_b)=(3,4); endspecify specify showcancelled out,out_b; pulsestyle_ondetect out,out_b; (a =>out)=(2,3); (b=>out)=(3,4); (a =>out_b)=(3,4); (b=>out_b)=(5,6); endspecify" TO "Example 3-Both these specify blocks produce the same result. Outputs out and out_b are both declared showcancelled and on-detect. specify showcancelled out; pulsestyle_ondetect out; (a => out)=(2,3); (b => out)=(4,5); showcancelled out_b; pulsestyle_ondetect out_b; (a => out_b)=(3,4); (b => out_b)=(5,6); endspecify specify showcancelled out,out_b; pulsestyle_ondetect out,out_b; (a => out)=(2,3); (b => out)=(4,5); (a => out_b)=(3,4); (b => out_b)=(5,6); endspecify" In addition to "specify" and "endspecify" being bold, "showcancelled" and "pulsestyle_ondetect" should also be bold. |
| Unformatted |
|
Hosted by Boyd Technology