p1800 System Verilog Special Committee (SV-SC) Home Page
What is the "Special Committee"?
This is a committee formed specifically to define the new "checker" constructs. This is a proposal originally approved by the SystemVerilogAssertionCommittee, that turned out to be more controversial than originally expected. Thus this new committee was formed to come up with a full definition that all stakeholders can accept. While focused on checkers, the discussion also encompassed related issues such as 'let' statements, free variables, and general assertions in procedural code.
The 2008 work for this committee is complete, so weekly meetings are no longer being held. We may schedule a meeting to discuss reviews of Draft 7 if necessary.
Summary: All approved proposals are implemented in Draft 7 and reviewed by owners, except for a couple of new proposals that must be driven as ballot issues.
Ballot issue proposals, which arrived too late for official inclusion in drafts:
This is a "Wiki", which means a user-editable web page. If you are an active member of the SV-SC committee, feel free to make updates, corrections, and additions! For questions about this page, contact Erik Seligman.
-- ErikSeligman - 11 Apr 2008