| Label |
Item |
Status |
When |
U |
AI |
BNF |
| SV-BC01 |
Deprecation |
Complete |
None |
|
|
|
| SV-BC02 |
Time precision and
timescale |
Complete |
P-0326 |
|
Dave Rich to propose |
|
| SV-BC03 |
Dynamic process
control |
Complete |
None |
|
sv-ec item |
|
| SV-BC04 |
DSM (negative timing
check) |
|
|
|
Dennis to make
proposal |
|
| SV-BC05 |
Data alignment and
packing P-0363 |
To CC? |
7/22/2002 |
Y |
sv-ec; Kevin proposal
on bytes in integers |
|
| SV-BC06 |
Clarify auto
increment/decrement |
Complete |
1/20/2003 |
|
|
|
| SV-BC07 |
(Section 2) literals |
Complete |
None |
|
Issues enumerated
below |
|
| SV-BC07a |
(2) Size of '1 |
Complete |
7/22/2002 |
Y |
|
|
| SV-BC07b |
(2) Signed
arithemetic |
Complete |
8/19/2002 |
Y |
|
|
| SV-BC07c |
(2) Strings as array
and structure literals |
|
|
Y |
Steven to propose |
|
| SV-BC07d |
(2) Legal locations
for array & struct lits |
Complete |
None |
|
9/16/2002 |
|
| SV-BC07e |
(2) Analyze-time
ambiguity concat vs lit |
Complete |
None |
|
|
|
| SV-BC07e |
Ambiguity among
concat, lit, and struct formal |
Complete |
None |
|
Brad? (Clarification
in union section?) 7/22 |
|
| SV-BC08 |
Cadence section 3
issues |
Complete |
None |
|
Issues enumerated
below |
|
| SV-BC08-01a |
(3) Why char type? |
Complete |
None |
|
SV-CC |
|
| SV-BC08-01b |
(3) Why shortint |
Complete |
None |
|
SV-CC |
|
| SV-BC08-01c |
(3) Orthogonality
between int, integer |
Complete |
None |
|
SV-CC |
|
| SV-BC08-01d |
(3) Longint issues |
Complete |
None |
|
SV-CC |
|
| SV-BC08-01e |
(3) Is byte useful? |
Complete |
None |
|
SV-CC |
|
| SV-BC08-01f |
(3) Bit is likely to
match variable names in old code |
Complete |
None |
|
SV-CC |
|
| SV-BC08-01g |
(3) Logic is also
likely to match user's names |
Complete |
None |
|
SV-CC |
|
| SV-BC08-01h |
(3) unsigned as a
keyword? |
Complete |
None |
|
SV-CC |
|
| SV-BC08-01i |
(3) Utility of
shortreal |
Complete |
None |
|
SV-CC |
|
| SV-BC08-01j |
(3) Is void necessary |
Complete |
None |
|
SV-CC |
|
| SV-BC08-02a |
(3) Data packing
issue - struct element ordering |
Complete |
8/19/2002 |
Y |
|
|
| SV-BC08-02b |
(3) Unions and 4
state members |
Complete |
11/25/2002 |
Y |
Dave Rich to propose |
|
| SV-BC08-03 |
(3) Type use before
definition |
Complete |
None |
|
|
|
| SV-BC08-05 |
(3.4.1) Issues with
time data type |
Complete |
P-0422 |
|
Peter to propose
clarification |
|
| SV-BC08-07 |
(3.7) Definition of
masked and unmasked |
Complete |
11/15/2002 |
Y |
Stu to implement
global edit |
|
| SV-BC08-09 |
(3.7) Passing large
structs/arrays |
Complete |
None |
|
to sv-ec |
|
| SV-BC08-10 |
(3.8) Conversion of
short reals to 32 bits |
Complete |
None |
|
|
|
| SV-BC09 |
Parameterized data
types |
Complete |
None |
|
No action to be taken |
|
| SV-BC09-a |
(3.1) Parameterized
data types |
Complete |
None |
|
SV-BC8-4 |
|
| SV-BC10 |
Displaying enums |
Complete |
None |
|
Overview |
|
| |
|
|
|
|
|
|
| |
|
|
|
|
|
|
| SV-BC10a |
(3.6) Implications of
Enum type I/O |
Complete |
None |
|
SV-BC8-6 |
|
| SV-BC10b |
VCD dumping for all
types: enums |
Delayed |
3.2 |
|
Gord to find someone
for all types |
|
| SV-BC10b-1 |
VCD dumping for all
types: union, packed, struct |
Complete |
P-0380 |
|
Dave to propose
mascarading descriptions |
|
| SV-BC10b-2 |
VCD -- width
representation and other issues |
Delayed |
3.2 |
|
Gord to find someone
for all types |
|
| SV-BC10b-3 |
VCD -- dynamic arrays
and other 3.1 extensions |
Delayed |
3.2 |
|
Gord to find someone
for all types |
|
| SV-BC10c |
Printing enums as
strings and integers |
Complete |
11/11/2002 |
Y |
|
|
| SV-BC11 |
Members of signed
packed arrays signed? |
Complete |
None |
|
|
|
| SV-BC11a |
(3.7) Size
requirement on packed union members |
Complete |
9/16/2002 |
Y |
SV-BC8-8 |
|
| SV-BC11b |
(4.2) Packed array of
signed |
Complete |
None |
|
SV-BC8-11 |
|
| SV-BC12 |
Constant exprs;
difference among decls |
Complete |
None |
|
Peter to determine
where to put fix |
|
| SV-BC12a |
(5.3) Constant
expression |
Complete |
None |
|
SV-BC8-12 |
|
| SV-BC13 |
Change BNF to
simplify attributes |
Complete |
None |
|
Cliff to send to 1364 |
|
| SV-BC13a |
(6.1) Attribute
syntax |
Complete |
None |
|
SV-BC8-13 |
|
| SV-BC14 |
(9) Process execution
efficiency |
Complete |
None |
|
Closed with Kevin's
agreement |
|
| SV-BC15 |
Clarify interleaving,
event scheduling |
Complete |
None |
|
SV-BC8-14 through
SV-BC8-17 |
|
| SV-BC15a |
(9) Process execution
efficiency when calling C |
Complete |
None |
|
Karen to forward to
sv-cc |
|
| SV-BC15b |
(9.1) Interleaving of
execution |
Delayed |
|
|
Delayed until all
other issues addressed |
|
| SV-BC15c |
(9.1) Scheduling
algorithm |
Delayed |
|
|
Delayed until all
other issues addressed |
|
| SV-BC15d |
(9.1) Issues with
dynamic processes |
Complete |
None |
|
to sv-ec |
|
| SV-BC16 |
Interfaces:
enhancements/simplifications |
Complete |
None |
|
SV-BC8-18 through
SV-BC8-23 |
|
| SV-BC16a |
(13) Interfaces vs.
Modules |
Complete |
None |
|
Not in our current
charter |
|
| SV-BC16b |
(13.1) Interfaces
restrictions |
Complete |
None |
|
Not in our current
charter |
|
| SV-BC16c |
(13.1) Scheduling
issues |
Complete |
None |
|
Moved to SV-EC |
|
| SV-BC16d |
(13.2.3) Interface
usage issues |
Complete |
None |
|
Moved to SV-EC |
|
| SV-BC16e |
(13.4) Modports
issues |
Complete |
None |
|
Moved to SV-EC |
|
| SV-BC16f |
(13.5.4) Issue with
extern forkjoin task |
Complete |
None |
|
Peter to propose
clarification fix in P-0422 |
|
| SV-BC17 |
(More Section 3)
comments Steve, 7/8/02 14:14 |
Complete |
None |
|
Issues enumerated
below |
|
| SV-BC17a |
(3) predefinition of
integer types not required |
Complete |
None |
|
SV-CC |
|
| SV-BC17b |
(3) 2 state Enums and
x assignments |
Complete |
10/14/2002 |
Y |
|
|
| SV-BC17c |
(3) limits on automated
enumerations |
Complete |
None |
|
Closed with Steve's
agreement |
|
| SV-BC17d |
(3) auto-increment
and enum overflow |
Complete |
10/14/2002 |
Y |
|
|
| SV-BC17e |
(3) Type checks not
done in =, arguments, < |
Delayed |
|
|
Tabled until
testbench discussion occurs |
|
| SV-BC17f |
(3) Hierarchical path
and struct/union using "." |
Complete |
None |
|
Closed with Steve's
agreement |
|
| SV-BC18 |
(Section 5) Steve,
7/8/02 14:14 |
Complete |
None |
|
Issues enumerated
below |
|
| SV-BC18a |
(5)
"static" was rejected by 1364 |
Complete |
None |
|
No action to be taken |
|
| SV-BC18b |
(5) Automatic
variables use outside of subroutines |
Complete |
11/25/2002 |
|
|
|
| SV-BC18c |
(5) Variable
initialization event generation |
Complete |
None |
|
Change proposal
failed |
|
| SV-BC18d |
(5) Performance of
automatic initialization |
Complete |
None |
|
To be combined with
SV-BCb |
|
| SV-BC18e |
(5) Automatic
variables triggering events? |
Complete |
None |
|
Closed with Steve's
agreement |
|
| SV-BC18f |
(5) Logic type
appears superfluous |
Complete |
P-0595a |
|
Dave Rich to propose |
|
| SV-BC18g |
(5) Is the logic type
similar to a net? |
Complete |
None |
|
Covered with Dave's
proposal for 18f |
|
| SV-BC18h |
(5) logic variable
initialization when a port |
Complete |
P-0415 |
|
Dave to propose |
|
| SV-BC18i |
(5) Logic variables
have strength? MOS outputs |
Complete |
None |
|
Dave Rich to propose |
|
| SV-BC19 |
Dan Jacobi's issues
9/11/02 02:00 |
Complete |
None |
|
Issues enumerated
below |
|
| SV-BC19-01 |
(7)^~ is missing from
precedence table |
Complete |
11/11/2002 |
Y |
|
|
| SV-BC19-02 |
(13)Missing () on
interface examples |
Complete |
1/29/2003 |
Y |
Karen to propose
correction |
|
| SV-BC19-03 |
(A.1.1) Extraneous []
on library declaration |
Complete |
11/11/2002 |
Y |
ETF 136 |
|
| SV-BC19-04 |
(A.1.1) back tic
required before include directive |
Complete |
None |
|
Closed with Dan's
agreement |
|
| SV-BC19-05 |
(A.1.2) Extraneous []
on liblist_clause |
Complete |
11/11/2002 |
Y |
ETF 136 |
|
| SV-BC19-06 |
(A.1.3) Wrong rule
for some mod instantiations |
Complete |
11/25/2002 |
Y |
ETF 155 |
|
| SV-BC19-07 |
(A.1.3) Wrong rule
for some interface insts |
Complete |
11/25/2002 |
Y |
|
|
| SV-BC19-08 |
(A.1.4) Enable
concatenated ports |
Complete |
11/11/2002 |
Y |
|
|
| SV-BC19-09 |
(A.1.6) missing ;
after port declaration |
Complete |
11/11/2002 |
Y |
|
|
| SV-BC19-10 |
(A.1.6) unnecessary
productions used |
Complete |
11/11/2002 |
Y |
|
|
| SV-BC19-11 |
(A.2.1.2) identifier
should not be bold |
Complete |
11/11/2002 |
Y |
|
|
| SV-BC19-12 |
(A.2.1.3) typedef
syntax clarification needed |
Complete |
11/11/2002 |
Y |
Brad to propose |
BNF |
| SV-BC19-12a |
(A.2.1.3) typedef
syntax clarification needed |
Complete |
3/3/2003 |
|
P-0468 |
|
| SV-BC19-13 |
(A.2.2.1) incorrect
dimension added |
Complete |
11/25/2002 |
Y |
|
|
| SV-BC19-14 |
(A.2.2.1) unnecessary
square brackets |
Complete |
11/11/2002 |
Y |
|
|
| SV-BC19-15 |
(A.2.2.3) delays ()
required on delays |
Complete |
11/25/2002 |
Y |
ETF 63, 174 |
|
| SV-BC19-16 |
(A.2.3) simplify a
production |
Complete |
11/11/2002 |
Y |
ETF 193 |
|
| SV-BC19-17 |
(A.2.3) simplify a
production |
Complete |
11/11/2002 |
Y |
ETF 193 |
|
| SV-BC19-17a |
(A.2.6) signed
function declarations |
Complete |
P-0454 |
|
|
BNF |
| SV-BC19-18 |
(A.2.6) enable
default type decls on functions |
Complete |
1/15/2003 |
|
Dan to propose |
|
| SV-BC19-19 |
(A.2.7) enable
default type decls on tasks |
Complete |
11/25/2002 |
Y |
|
|
| SV-BC19-20 |
(A.2.9) typo in
named_function_proto |
Complete |
11/25/2002 |
Y |
|
|
| SV-BC19-21 |
(A.3.1) range already
parsed |
VSG/PS |
|
|
Dan to propose fix
matching ETF 112, 200 |
|
| SV-BC19-22 |
(A.4.1.1) unnecessary
[] |
Complete |
11/25/2002 |
Y |
|
|
| SV-BC19-23 |
(A.4.1.1) unnecessary
[] |
VSG/PS |
|
|
ETF 202 |
|
| SV-BC19-24 |
(A.4.1.1) unnecessary
range specification |
VSG/PS |
|
|
ETF 112, 200 |
|
| SV-BC19-24a |
(A.4.1.1) |
Complete |
|
|
Closed with Brad's
approval |
|
| SV-BC19-25 |
(A.4.2.1) unnecessary
production |
Complete |
11/25/2002 |
Y |
|
|
| SV-BC19-26 |
(A.5.4) [] need to
not be bold |
Complete |
None |
|
Duplicate of
SV-BC19-24 |
|
| SV-BC19-27 |
(A.6.4) semi-colon
needed |
Complete |
11/25/2002 |
Y |
|
|
| SV-BC19-28 |
(A.6.4) issues with
function_call_statement |
Complete |
1/15/2003 |
|
SV-BC19-30,
SV-BC19-38 |
|
| SV-BC19-29 |
(A.6.4) semi-colon
needed |
Complete |
11/25/2002 |
Y |
|
|
| SV-BC19-30 |
(A.6.4) issues with
function_call_statement |
Complete |
None |
|
Added to SV-BC19-28 |
|
| SV-BC19-31 |
(A.6.5) redundant
rules for event expression |
Complete |
1/15/2003 |
|
|
|
| SV-BC19-31a |
(A.6.5) ETF redundant
rules for event expression |
Complete |
None |
|
ETF 182 |
|
| SV-BC19-32 |
(A.6.6) redundant
productions for if |
Complete |
None |
|
ETF 178 (addressed by
ETF 12/16/02) |
|
| SV-BC19-33 |
(A.6.6) redundant
productions for if |
Complete |
None |
|
ETF 178 (addressed by
ETF 12/16/02) |
|
| SV-BC19-34 |
(A.6.8) expand
for-loop expressions |
Complete |
1/29/2003 |
|
Dan to propose |
|
| SV-BC19-35 |
(A.6.8) redundant
repeat loop declaration |
VSG/PS |
|
|
ETF 85 |
|
| SV-BC19-36 |
(A.6.8) remove ; |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC19-37 |
(A.6.9) changes to
support null arguments |
VSG/PS |
|
|
ETF 232 |
|
| SV-BC19-38 |
(A.6.9.1) add a
function call statement |
Complete |
None |
|
Added to SV-BC19-28 |
|
| SV-BC19-39 |
(A.6.10) bold [] on
constant expression |
Complete |
1/13/2003 |
|
|
|
| SV-BC19-40 |
(A.7.5.3) posedge and
negedge redundant |
Complete |
None |
|
Dropped with Dan's
agreement |
|
| SV-BC19-41 |
(A.7.5.3) redundant
rule |
VSG/PS |
|
|
ETF 237 |
|
| SV-BC19-42 |
(A.7.5.3) redundant
rules |
Complete |
None |
|
Duplicate of
SV-BC19-41 |
|
| SV-BC19-43 |
(A.8.2)
genvar_function_call not used |
Complete |
1/15/2003 |
|
ETF 28 (addressed by
ETF 12/16/02) |
|
| SV-BC19-44 |
(A.8.3) odd syntaxes
allowed |
Complete |
1/29/2003 |
|
Brad to propose |
|
| SV-BC19-45 |
(A.8.3) redundant
production |
VSG/PS |
|
|
ETF 238 |
|
| SV-BC19-46 |
(A.8.3) attributes
and auto-increment conflict |
Complete |
1/15/2003 |
|
|
|
| SV-BC19-46a |
(A.8.3) attributes
allowed on ++ --? |
Complete |
1/29/2003 |
|
Yes, BNF meeting to fix. Not ambiguous |
|
| SV-BC19-47 |
(A.8.3) redundant
production |
VSG/PS |
|
|
ETF 238 |
|
| SV-BC19-48 |
(A.8.4)
time/instantiation naming conflict |
Complete |
1/29/2003 |
|
Dan to draft a
proposal |
|
| SV-BC19-49 |
(A.8.4) expression
simplification |
Complete |
1/29/2003 |
|
ETF 181, 53 |
|
| SV-BC19-50 |
(A.8.4) redundant
operators with {} and {{}} |
Complete |
1/29/2003 |
|
|
|
| SV-BC19-51 |
(A.8.4) ambiguity
with time/instantiation |
Complete |
None |
|
Duplicate of 19-62,
19-48 |
|
| SV-BC19-52 |
(A.8.5)
simplification of grammar |
Complete |
None |
|
Duplicate of
SV-BC19-49 |
|
| SV-BC19-53 |
(A.8.5) illegal
syntax? |
Complete |
None |
|
Duplicate of
SV-BC19-46 |
|
| SV-BC19-54 |
(A.8.5) illegal
syntax? |
Complete |
1/29/2003 |
|
Brad to propose |
|
| SV-BC19-55 |
(A.8.5) illegal
syntax? |
Complete |
None |
|
Duplicate of
SV-BC19-49 |
|
| SV-BC19-56 |
(A.9.3) not bold [] |
Complete |
1/15/2003 |
|
|
|
| SV-BC19-57 |
(A.9.3) not bold [] |
Complete |
1/15/2003 |
|
|
|
| SV-BC19-58 |
(A.9.4) enable select
indexes of hier ref |
Complete |
1/15/2003 |
|
|
|
| SV-BC19-59 |
(B) keywords
transition/endtransition not used |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC19-60 |
interface
instantiation w/o ports not supported |
Complete |
P-0598 |
|
Dan to driveP |
|
| SV-BC19-61 |
complex delay
expressions only within () |
Complete |
None |
|
Duplicate of
SV-BC19-48 |
|
| SV-BC19-62 |
time literals in
expressions only with () |
Complete |
None |
|
Duplicate of
SV-BC19-48 |
|
| SV-BC19-63 |
attributes not
allowed on ++, -- |
Complete |
None |
|
Duplicate of
SV-BC19-46a |
|
| SV-BC19-64 |
functions with no
ports allowed (P-0318) |
P-SV-EC |
|
|
|
|
| SV-BC19-65 |
automatic operators
allowed in loop iteration |
Complete |
None |
|
Same as SV-BC 19-34 |
|
| SV-BC19-66 |
parameter declaration
in $root |
Complete |
None |
|
Dan to open with
SV-EC |
|
| SV-BC19-67 |
default
initialization of unpacked structs |
Complete |
None |
|
Duplicate of SV-BC62a |
|
| SV-BC19-68 |
hierarchical identifier selects |
Complete |
None |
|
Same as SV-BC19-58 |
|
| SV-BC19-69 |
single declaration
definition in modport decls |
Complete |
None |
|
Superceded by SV-BC60 |
|
| SV-BC20 |
Typedef and generate
issues (gord 9/17 7:47) |
Complete |
P-0061 |
|
Gord to propose |
|
| SV-BC21 |
Always_comb semantics
(gord 10/1 13:23) |
Complete |
None |
|
Issues enumerated
below |
|
| SV-BC21-1 |
Granularity of
variables written P-0580 |
Delayed |
3.2 |
|
Gord/Francoise
(?-0568 Gord says no) |
|
| SV-BC21-2 |
Function variable
writes P-0292 |
Complete |
None |
|
P-0580 covers this |
|
| SV-BC21-3 |
RHS implied
sensitivities P-0292 |
Complete |
None |
|
P-0580 covers this |
|
| SV-BC22 |
Modport syntax
(Message 0096) |
Complete |
None |
|
Issues enumerated
below |
|
| SV-BC22-1 |
BNF issue |
Complete |
None |
|
Superceded by SV-BC60 |
|
| SV-BC22-2 |
Example issue |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC23 |
Concat vs. Struct
declaration (gord 10/14 8:38) |
Complete |
None |
|
Duplicate of BC7d,
BC19-67 |
|
| SV-BC24 |
Declaration of
variables in unnamed blocks |
Complete |
None |
|
No action. 10/28/02 Meeting |
|
| SV-BC25 |
Develop a method for
restricting hierarchical ref |
Complete |
None |
|
No action. 10/28/02 Meeting |
|
| SV-BC26 |
Need a section to
discuss print control |
Complete |
None |
|
11/11/02 Meeting |
|
| SV-BC26-1 |
%n |
Complete |
1/22/2003 |
Y |
reverse %n addition |
|
| SV-BC26-2 |
%z and %u on new
datatypes |
Complete |
P-0576 |
|
Gord to propose
(?-0617 ok) |
|
| SV-BC27 |
Use
interface_identifier rather than identifier |
Complete |
12/20/2002 |
Y |
Dan Jacobi 11/12/02
9:43am |
|
| SV-BC28 |
A.2.9
modport_declaration bold modport |
Complete |
12/20/2002 |
Y |
Brad Pierce 11/13/02
5:22pm |
|
| SV-BC29 |
Need $bitstoreal and
$realtobits for shortreal |
Complete |
P-0293 |
|
Gord to propose |
|
| SV-BC30 |
Disabling calls for
fork/join tasks clarification |
Complete |
None |
|
11/15/02 minutes |
|
| SV-BC31 |
Interface trimming if
modport not used? |
Complete |
None |
|
Steven to propose or
close 11/15/02 minutes |
|
| SV-BC32 |
Back
Annotation/timing with interfaces (P-0641) |
Delayed |
3.2 |
|
Someone besides Peter
to drive this |
|
| SV-BC33 |
Back Annotation and
timing with logic |
Deferred |
|
|
Nee logic
resolutoin. 11/15/02 minutes |
|
| SV-BC34 |
Attribute isses |
Complete |
None |
|
Brad 11/18/02 19:02
(0154) Brad to EC |
|
| SV-BC34a |
Multiple namespaces
exist |
Complete |
P-0446 |
|
Dave will propose |
|
| SV-BC35 |
task port
declarations in BNF |
Complete |
P-0445 |
|
Shalom 11/19/02 10:14
(0155) (p-0413?) |
BNF |
| SV-BC36 |
Conversion from
4-state to 2-state as undefined |
Complete |
None |
|
Kevin's issue for
Analog Simulation 11/25 |
|
| SV-BC37 |
Remove footnote on
BNF |
Complete |
1/29/2003 |
|
Brad Pierce 11/25/02
17:28pm (0176) |
|
| SV-BC37a |
Illegal modports not
clear |
Complete |
|
|
Karen's error same as
SV-BC39 |
|
| SV-BC38 |
I++ not valid as an
lvalue |
Complete |
None |
|
Covered by ETF 53 |
|
| SV-BC39 |
Illegal modports not
clear |
Complete |
3/17/2003 |
|
Brad Pierce 11/25/02
18:16pm (0178) |
|
| SV-BC40-1 |
* as a wildcard in
library expressions |
Complete |
None |
|
Eric Olson's mail
12/3/02 1:52 (0203) |
|
| SV-BC40-2 |
Implicit partial
match in port expressions |
Complete |
None |
|
Eric Olson's mail
12/3/02 1:52 (0203) |
|
| SV-BC41 |
Deleting types on
modport decls |
Complete |
None |
|
Closed with Brad's
approval |
|
| SV-BC42 |
Stu Sutherland
12/6/02 16:39 (0222) |
Complete |
None |
|
|
|
| SV-BC42-01 |
3.3 bit selects of
int, byte, char, etc |
Delayed |
3.2 |
|
|
|
| SV-BC42-02 |
3.7 masked, unmasked |
Complete |
None |
|
Same as SV-BC8-7 |
|
| SV-BC42-03 |
3.7 assignment to
packed and unpacked unions |
Complete |
None |
|
Same as SV-BC56 |
|
| SV-BC42-04 |
4.2 change
"may" to "can" |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC42-05 |
5.6 port
contradiction |
Complete |
None |
|
Subperceded by
18f,g,h,I |
|
| SV-BC42-06 |
5.6 logic driven by
"explicit" continuous assign |
Complete |
None |
|
Addressed by 18i, 18h |
|
| SV-BC42-07 |
5.6 expand on assign
statement |
Complete |
None |
|
Addressed by 18i, 18h |
|
| SV-BC42-08 |
5.6 explain logic and
declaration assignments |
Complete |
None |
|
Addressed by 18i, 18h |
|
| SV-BC42-09 |
5.6 where can bit
types be used |
Complete |
None |
|
Superceded by
18f,g,h,I |
|
| SV-BC42-10 |
5.6 legal use of int,
byte, char, etc |
Complete |
None |
|
Superceded by
18f,g,h,I |
|
| SV-BC42-11 |
7.8 Precidence table
issues |
Complete |
P-0579 |
|
Karen/Francoise
(?0606 ok) |
|
| SV-BC42-12 |
8.9 Change signal
name |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC42-13 |
8.9 comments are the
same |
Complete |
None |
|
Superceded by
SV-BC44-15 |
|
| SV-BC42-14 |
9.1 change always_ff
to bold |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC42-15 |
9.2 hierarchical
reference in always_comb? |
Complete |
None |
|
Not illegal |
|
| SV-BC42-16 |
9.2, 9.3 always_latch
sensitivity |
Complete |
P-0565 |
|
Dave to make a ruling |
|
| SV-BC42-17 |
9.3 bold always_latch |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC42-18 |
11.9 delete first
only |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC42-19 |
12.2 instance name
for implicit instantiation |
No Vol |
|
|
|
|
| SV-BC42-20 |
12.2 change shall to
can |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC42-21 |
12.6, 3.4.1
clarification on timeunit/precision |
Complete |
None |
|
|
|
| SV-BC42-22 |
12.6, 3.4.1 illegal
for many timeunit/precision |
Complete |
None |
|
|
|
| SV-BC42-23 |
12.7.4 .* connections
only to variables |
Complete |
None |
|
Dave/Francoise
(?-0603 ok?) |
|
| SV-BC42-24 |
12.7.4 are global
signals connected? |
Complete |
P-0567 |
|
Dave/Francoise
(?-0604 ok?) |
|
| SV-BC42-25 |
12.7.5 change
simulator to standard |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC42-26 |
12.7.5 change will
run to shall |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC42-27 |
12.7.5 change run to
shall |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC42-28 |
12.7.5 change issue
to result in |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC42-29 |
13.1 change modelling
to modeling |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC42-30 |
13.5.3 normative text
needed on prototypes |
Delayed |
3.2 |
|
Dave to make a ruling |
|
| SV-BC42-31 |
A.2.1.2 identifier
should not be bold |
Complete |
None |
|
SV-BC-19-11 |
|
| SV-BC42-32 |
A.2.2.1 signed/type
ordering |
|
|
|
See SV-BC41, Stu to
make a proposal? |
BNF |
| SV-BC42-33 |
A.6.1 continuous
assign for bit/logic |
Complete |
P-0568 |
|
Dave to make a ruling |
BNF |
| SV-BC42-34 |
A.6.2 initial,
always_* bold |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC42-35 |
A.6.4 bold process |
Complete |
12/20/2002 |
Y |
|
|
| SV-BC43 |
Need for structured,
multiply driven buses |
Complete |
None |
|
To the EC |
|
| SV-BC44 |
Steven Sharp 12/10/02
19:51 (0242) |
Complete |
None |
|
|
|
| SV-BC44-01 |
(7) Assignments as
expressions |
Complete |
None |
|
P-0536 |
|
| SV-BC44-02 |
(7) automatic
operators are a bad idea |
Complete |
None |
|
removal of assignment
as expression 1/20 |
|
| SV-BC44-03 |
(7) signedness of an
assignment as expression |
Complete |
None |
Y |
Same as 44-01 |
|
| SV-BC44-04 |
(8) unique and
priority as assertions |
Complete |
None |
|
|
|
| SV-BC44-05 |
(8) do-while rejected
by 1364 |
Complete |
None |
|
|
|
| SV-BC44-06 |
(8.4, 8.6)
hierarchical names and stmt labels |
Complete |
2/27/2003 |
|
|
|
| SV-BC44-07 |
(8) XMRs local variables in unnamed blocks |
Complete |
None |
|
|
|
| SV-BC44-08 |
(8) statement labels
unnecessary |
Complete |
None |
|
|
|
| SV-BC44-09 |
(8.8) disables and
non-blocking assigns |
Complete |
1/22/2003 |
Y |
|
|
| SV-BC44-10 |
(8.8) disables and
forces or proced cont assign |
Complete |
None |
|
|
|
| SV-BC44-11 |
(8) disable and
fork/join |
Complete |
2/27/2003 |
|
P-0536 |
|
| SV-BC44-12 |
(8) break, continue
and fork/join |
Complete |
2/27/2003 |
|
P-0536 |
|
| SV-BC44-13 |
(8) iff useful? |
Complete |
None |
|
|
|
| SV-BC44-14 |
(8.9) posedge and
negedge definition |
Complete |
2/27/2003 |
|
|
|
| SV-BC44-15 |
(8) changed
unnecessary |
Complete |
1/22/2003 |
Y |
|
|
| SV-BC44-16 |
(8.9) side-effects in
event control |
Complete |
None |
|
|
|
| SV-BC45 |
Dynamic checking of
enums is expensive. |
Complete |
P-0434 |
|
SV-EC, Dave to
propose |
|
| SV-BC46 |
char representing
both byte and uni-code (sv-ec) |
Complete |
1/6/2003 |
Y |
|
|
| SV-BC47 |
?: and 2 state
resolution (sv-ec) |
Complete |
None |
|
Same as 62c |
|
| SV-BC48 |
Do-while needs
trailing semi-colon |
Complete |
1/15/2003 |
|
Brad Pierce 1/2/03
16:15 (0283) |
|
| SV-BC49-1 |
B Add edge as a
keyword |
Complete |
1/29/2003 |
|
Dan Jacobi 1/6/03
1:59 (0287) |
|
| SV-BC49-2 |
A.7.5.3
"Edge" use in BNF from SV-BC19-40 |
Complete |
1/29/2003 |
|
Dan Jacobi 1/6/03
1:59 (0287) |
|
| SV-BC50 |
A.2.6 signedness in
function BNF |
Complete |
1/29/2003 |
|
(0287) Same as 19-17a |
|
| SV-BC51 |
size of an expression
assignment is undefined |
Complete |
None |
|
Closed with Brad's
agreement |
|
| SV-BC52 |
clarification of
operations on unpacked arrays |
Complete |
None |
|
SV-BC56 |
|
| SV-BC53 |
Issues with
auto-increment description |
Complete |
P-0649 |
|
Peter to propose
(0298) |
|
| SV-BC54 |
Message 0335 |
Complete |
None |
|
|
|
| SV-BC54-1 |
(A.2.1.1) Bold type |
Complete |
1/29/2003 |
|
|
|
| SV-BC54-2 |
(A.2.4, A.8.3)
Parameter type ambiguities |
Complete |
1/29/2003 |
|
|
|
| SV-BC55 |
BNF allows packed
integer arrays |
Complete |
1/29/2003 |
|
Dave Rich 1/16/03
11:35 (0338) |
|
| SV-BC56 |
Operations allowed on
unpacked arrays |
Complete |
1/22/2003 |
Y |
Message 0319 |
|
| SV-BC57 |
Result type of an
assignment |
Complete |
|
|
Same as SV-BC44-3 |
|
| SV-BC58 |
Slices of unpacked
arrays |
Complete |
P-0331 |
|
Message 0331 |
|
| SV-BC59 |
Inconsistency in
priority/unique (0360) |
Complete |
P-0556 |
|
Message 0360 |
|
| SV-BC60 |
Modport syntax issues |
Complete |
P-0410 |
|
Message 0358 |
|
| SV-BC61 |
Type equivalency
rules for extern interface tasks |
Complete |
P-0642 |
|
Peter to propose,
Meeting 1/22/03 |
|
| SV-BC61a |
Are nets and regs
assignment compatible (0374) |
Complete |
3/17/2003 |
|
Peter to propose,
Meeting 1/22/03 (Matt's issues) |
|
| SV-BC62a |
Simpler declaration
of unpacked struct lits (0374) |
Complete |
P-0382 |
|
Matt Maidment meeting
1/22/03 |
|
| SV-BC62b |
Packed array of
packed structs (0374) |
Complete |
None |
|
Dave to propose |
|
| SV-BC62c |
Expanding ?: to work
on unpacked data (0374) |
Complete |
P-0591 |
|
Dave to propose |
|
| SV-BC63 |
Are typedefs allowed
of types in modules? XMR |
|
|
|
Dave to propose.
Meeting 1/29/03 |
|
| SV-BC64 |
Multiple dimensional
arrayed instances |
Delayed |
3.2 |
|
Brad to propose. Meeting 1/29/03 |
|
| SV-BC65 |
Structure literals vs
concat determination P-0436 |
Complete |
P-0592a |
|
Dave to propose SV-EC |
|
| SV-BC66 |
Update BNF to reflect
ETF changes |
Complete |
P-0433 |
|
|
|
| SV-BC67 |
() after interface
instantiation needed |
Complete |
P-0435 |
|
|
|
| SV-BC68 |
BNF issues |
Complete |
P-0404 |
|
|
|
| SV-BC69 |
Macro issues (0478) |
Complete |
P-0610 |
|
Dan to propose |
|
| SV-BC70 |
Type_declaration_identifier
(0477) |
Complete |
P-0477 |
|
First proposal only
passed |
|
| SV-BC71 |
Extern modules |
Complete |
P-0466 |
|
|
|
| SV-BC72 |
Unique and Priority
clarification |
Complete |
P-0500 |
|
Brad/Francoise |
|
| SV-BC73 |
BNF for unbased
binary literals |
Complete |
P-0508 |
|
Brad/Francoise |
|
| SV-BC74 |
BNF for optional
trailing names in mods, udps |
Complete |
P-0511 |
|
|
|
| SV-BC75 |
Definition of XMR
nested in an unnamed scope |
Complete |
3/17/2003 |
|
Dave/Francoise
(meeting 2/24/03) |
|
| SV-BC76 |
Implicit
instantiation of nested modules? |
Delayed |
3.2 |
|
Dave to rule (Meeting
2/24/03) |
|
| SV-BC77 |
BNF in alignment with
IEEE |
Complete |
P-0417 |
|
|
|
| SV-BC77-1 |
$root and separate
compilation (P-0640) |
Delayed |
3.2 |
|
Peter to make formal
language proposal |
|
| SV-BC78 |
Modport and function
prototypes |
Complete |
3/17/2003 |
|
P-0530 |
|
| SV-BC79 |
Compiler directive
clarification (0526) |
Complete |
P-0564 |
|
Brad to propose |
|
| SV-BC80 |
Additional modport
example issues (0531) |
Complete |
P-0534 |
|
|
|
| SV-BC81 |
Issues with
SV-BC19-21/24/26 |
Complete |
None |
|
|
|
| SV-BC81-1 |
Bold needed in BNF |
Complete |
P-0535 |
|
|
|
| SV-BC82 |
Port decls BNF change |
Complete |
None |
|
|
|
| SV-BC83 |
Extern functions in
interfaces |
Complete |
P-0654 |
|
|
|
| SV-BC84 |
Interfaces supporting
only ansi-style ports(0542) |
Complete |
None |
|
|
|
| SV-BC84-1 |
BNF for SV-BC71 |
Complete |
P-0558 |
|
|
|
| SV-BC85 |
Limits on assignment
as expression |
Complete |
3/3/2003 |
|
|
|
| SV-BC86 |
Removal of char |
Complete |
P-0608 |
|
Steven to propose. |
|
| SV-BC87 |
Why can't interfaces
be declared in modules? |
|
|
|
Meeting 3/3/03 Peter
needs to rule |
|
| SV-BC88 |
Revisit 19-60 to
develop a more complete soln |
Delayed |
3.2 |
|
Meeting 3/3/03 |
|
| SV-BC89 |
ETF 200 update needed |
Complete |
3/3/2003 |
|
|
|
| SV-BC90 |
hierarchical typedef
allows an unresolved cycle |
Delayed |
3.2 |
|
Discussion of 19-12,
P-0468 |
|
| SV-BC91 |
Empty typedefs in BNF |
Complete |
P-0590 |
|
|
|
| SV-BC92 |
Namespace declaration
(0587) |
|
|
|
|
|
| SV-BC93 |
Footnote for SV-BC73
(0619) |
|
|
|
|
|
| SV-BC94 |
Declaration of loop
variable as automatic |
|
|
|
|
|
| SV-BC95 |
Scheduling semantics
update |
|
|
|
Arturo and Phil to
review |
|
| SV-BC96 |
Signed Casting |
Complete |
P-0623 |
|
|
|
| SV-BC97 |
Task declarations in BNF (0633) |
Delayed? |
3.2 |
|
P-0610 will solve
this problem |
|
| SV-BC98 |
Import directive
(P-0638) |
Delayed |
3.2 |
|
|
|
| SV-BC99 |
Extern functions
(P-0639) |
Delayed |
3.2 |
|
|
|
| SV-BC100 |
Enum cleanup (P-0650) |
Delayed |
3.2 |
|
|
|
| SV-BC101 |
Unchecked next, prev
for enums (P-0652) |
Delayed |
3.2 |
|
|
|
| SV-BC102 |
Allowing assignment
expressions in assertions? |
|
|
|
Meeting 3/3/17
(Peter's request) |
|
| SV-BC103 |
Behavior of 'signed
and 'unsigned to $forms |
|
|
|
Meeting 3/3/17 |
|
| SV-BC104 |
Addition of endmodule
keyword to extern module |
|
|
|
Kevin's request |
|
|
|
|
|
|
|
|