|
|
Accellera SV-EC Technical Committee |
|
||||||||||
| Extensions | ||||||||||||
| Status Key: Open Deferred Accepted Closed Approved; Priority: 1 - strong, 2 - don't care, 3 - not important | ||||||||||||
| Home | ID | Priority | Topic | Description | Owner | Proposals | Status | Commit | ||||
| Meeting Schedule | EXT-1 | 3 | Type | Add additional string routines (such as regexp) | Arturo Salz | No proposal | Closed | |||||
| Meeting Minutes | EXT-2 | 1 | Process | Fine process control - killing thread | Michael Burns | Proposal of 18 August 2003 | Accept 18 Aug 2003 | Synopsys | ||||
| 3.1a Working Documents | Proposal update 20 August 2003 | Approve 15 Sep 2003 | ||||||||||
| Action Items | EXT-3 | 1.25 | Basic | Virtual interfaces/ports | Neil Korpusik | Proposal of 13 September 2003 | Accept 29 Sep 2003 | Synopsys | ||||
| Extensions | Proposal update 18 November 2003 | Approve 24 Nov 2003 | ||||||||||
| Errata | Proposal update 24 November 2004 | |||||||||||
| Other Committees Requests | EXT-4 | 2 | Type | $system plus other tasks for new types | Arturo Salz | No proposal | Closed | Synopsys | ||||
| Published Documents | EXT-5 | 2.25 | Basic | Optional order of lifetime, datatype, and sign | Peter Flake | Decision in 2 September 2003 mtg. | Closed 2 Sep 2003 | Synopsys | ||||
| SystemVerilog 3.1 LRM | EXT-6 | 1.33 | Basic | Find size of types (sizeof in C). Add support for passing type as part of $bits and enhance array query functions. | Peter Flake | Proposal of 14 September 2003 | Closed/Move to BC on 29 Sep 2003 | Synopsys | ||||
| SystemVerilog 3.1 BNF | ||||||||||||
| SystemVerilog 3.0 LRM | ||||||||||||
| EXT-7 | 1.25 | Testbench | Reacting to Assertions (complete language to support functionality in C API). | Arturo Salz | Proposal of 13 September 2003 | Accept 29 Sep 2003 | Synopsys | |||||
| Email Archives | Proposal update 18 November 2003 | Approve 24 Nov 2003 | ||||||||||
| Current Members | Proposal update 23 November 2003 | |||||||||||
| Proposal update 24 November 2003 | ||||||||||||
| Operating Guidelines | EXT-8 | 2 | Constraints | RandCase | Arturo Salz | Proposal of 4 August 2003 | Accept 18 Aug 2003 | Synopsys | ||||
| Committee Mission | Proposal update 14 September 2003 | Approve 29 Sep 2003 | ||||||||||
| Goals/Objectives | Proposal update 29 September 2003 | |||||||||||
| Process | EXT-9 | 1.66 | Constraints | Stream generation (random support) | Arturo Salz | Proposal of 18 August 2003 | Accept 2 Sep 2003 | Synopsys | ||||
| Donation/Proposal | Proposal update 20 August 2003 | Approve 11 Nov 2003 | ||||||||||
| Errata | Proposal update 22 October 2003 | |||||||||||
| Voting Structure | Proposal update 29 October 2003 | |||||||||||
| Voting Rules | Proposal update 11 November 2003 | |||||||||||
| Milestones | EXT-10 | 1.5 | Testbench | Functional Coverage Goal Specification | Arturo Salz | Proposal of 15 September 2003 | Accept 13 Oct 2003 | Synopsys | ||||
| Deliverables | Proposal update 18 September 2003 | Approve 11 Nov 2003 | ||||||||||
| Proposal update 1 November 2003 | ||||||||||||
| SV-EC 3.1 Web | Proposal update 3 November 2003 | |||||||||||
| Proposal update 6 November 2003 | ||||||||||||
| Proposal update 11 November 2003 | ||||||||||||
| EXT-11 | 1.75 | Type | Dynamic queue support | Arturo Salz | Proposal of 13 September 2003. Static queues were moved to SV-BC on 31 July 2003. | Accept 29 Sep 2003 | Synopsys | |||||
| Approve 3 Nov 2003 | ||||||||||||
| Proposal update 22 October 2003 | ||||||||||||
| EXT-12 | 1.75 | Type | Pack/Unpack functions for Class | Faisal Haque | Proposal of 14 September 2003 | Accept 13 Oct 2003 | Synopsys | |||||
| Proposal update 17 November 2003 | Approve 8 Dec 2003 | |||||||||||
| Proposal update 2 December 2003 | ||||||||||||
| EXT-13 | 1 | Basic | Support for Namespaces (with SV-BC) | Arturo Salz | Moved to SV-BC on 31 July 2003 | Closed | NA | |||||
| EXT-14 | 1 | Constraints | Constraint completion (Constraint Randomization of all data, Foreach constraint, layering of constraints, etc) | Arturo Salz | Proposal of 18 August 2003 | Accept 2 Sep 2003 | Synopsys | |||||
| Proposal update 15 September 2003 | Approve 11 Nov 2003 | |||||||||||
| Proposal update 8 October 2003 | ||||||||||||
| Proposal update 4 November 2003 | ||||||||||||
| Proposal update 11 November 2003 | ||||||||||||
| EXT-15 | 1 | Basic | Handle general foreach construct (split from EXT-14) | Arturo Salz | Proposal update 14 September 2003 | Accept 2 Sep 2003 | Synopsys | |||||
| Proposal update 21 October 2003 | Approve 31 Oct 2003 | |||||||||||
| EXT-16 | 1 | Basic | Event control for coverage (split from EXT-10) | Arturo Salz | Proposal of 15 September 2003 | Accept 13 Oct 2003 | Synopsys | |||||
| Proposal update 17 December 2003 | Approve 15 Dec 2003 | |||||||||||
| Future Extensions | ||||||||||||
| ID | Priority | Description | Source | |||||||||
| FUT-1 | Jamie LaFlamme | In section 5.3 there is a brief discussion about the meaning of a const class object. If a class object is going to be treated as const then it seems like it should be possible to declare class methods as "const" otherwise there is no way to determine if a method can be called for a const class object. | From Email (ERR-15) | |||||||||
| FUT-2 | Sandeep Pagey | Add material in Section 20 to cover global options for all cover groups, extend bind for coverage, extend VPI to include covergroup definitions. | From Email | |||||||||