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

From: Clifford E. Cummings <cliffc_at_.....>
Date: Mon Nov 05 2007 - 11:55:41 PST
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.
Received on Mon Nov 5 11:56:39 2007

This archive was generated by hypermail 2.1.8 : Mon Nov 05 2007 - 11:57:18 PST