Re: [sv-bc] SV-BC Issues List From Cliff Cummings

From: Brad Pierce <Brad.Pierce_at_.....>
Date: Mon Nov 05 2007 - 12:06:04 PST
Cliff,

Are all of these SV-BC issues?, for example,

   0002117 - Cliff Cummings - Allow extending of covergroups in classes 

-- Brad

-----Original Message-----
From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of
Clifford E. Cummings
Sent: Monday, November 05, 2007 11:56 AM
To: Matt Maidment; sv-bc@eda.org
Subject: [sv-bc] SV-BC Issues List From Cliff Cummings

Hi, Matt -

I have looked over the entered Mantis items and would like the following
added to the list for consideration (many are related and I am willing
to drive solutions and proposals). I would like the last set of five
Mantis items added to the list just so I can raise the issues to
determine the interest level on the SV-BC, but I do not really expect
them to be seriously considered this time around.

Regards - Cliff

DDR Flip-Flops
0000154 - Karen Pieper,Cliff Cummings - Jeita 29: Dual Data Rate needed
in always_ff

Related to Mantis 99 - First Raised by Mike Turpin of ARM - Adding
unique0 (parallel_case) and Mantis 2115 would adequately address all of
these issues.
0000099 - Karen Pieper,Dave Rich - "SV-BC Issue 15: 1341 2-state
wildcard for case-items (in case, casez, and casex)"
0002115 - Cliff Cummings - "Add initialx, alwaysx, always_combx,
always_latchx, always_ffx"
0002129 - Cliff Cummings - case () inside problem using 2-state
variables
0002131 - Cliff Cummings - Parallel_case equivalent needed for case and
if statements
0002132 - Cliff Cummings - case-initial-default

Connectivity Enhancements - Syntactic Sugar for other tools to help find
design connectivity problems
0002119 - Cliff Cummings - Unconnected wire declarations and assignments
- wire ()
0002122 - Cliff Cummings - Fix V2K Attributes to be more useful to other
tools

Event Scheduling Clarification - these are ambiguous and should be
clarified
0002123 - Cliff Cummings - Define timing for disable statements that
disables nonblocking assignments with RHS delays
0002127 - Cliff Cummings - Clarify event scheduling of sequential UDPs

Default Types and Procedural Assignments to Nets - adds orthogonality to
the language
0002124 - Cliff Cummings - `default_nettype var-type compiler directive
0002130 - Cliff Cummings - Allow procedural assignments to declared nets

Good Coding Styles and Warnings - simple clarifications 0002120 - Cliff
Cummings - final-block $strobe warning
0002126 - Cliff Cummings - Unconnected .name implicit ports

Might Be Possible To Add - Good for Implicit FSM Design
0002118 - Cliff Cummings - Allow the continue command to jump to a label
within the same procedural block scope

Great Ideas But Probably Not Enough Time to Finish
0002116 - Cliff Cummings - 2-state reproducible random initialization
0002117 - Cliff Cummings - Allow extending of covergroups in classes
0002121 - Cliff Cummings - Permit incrementing of enumerated types by a
defined step amount
0002125 - Cliff Cummings - <<= assignment operator
0002128 - Cliff Cummings - Signed Arithmetic Operators

----------------------------------------------------
Cliff Cummings - Sunburst Design, Inc.
14314 SW Allen Blvd., PMB 501, Beaverton, OR 97005
Phone: 503-641-8446 / FAX: 503-641-8486
cliffc@sunburst-design.com / www.sunburst-design.com Expert Verilog,
SystemVerilog, Synthesis and Verification Training


--
This message has been scanned for viruses and dangerous content by
MailScanner, and is believed to be clean.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Nov 5 12:06:26 2007

This archive was generated by hypermail 2.1.8 : Mon Nov 05 2007 - 12:06:47 PST