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.

Logistics

• Chair: Erik Seligman, Intel
• Co-Chair: Tom Thatcher, Sun
• To subscribe to the mailing list, send an email to majordomo@edaNOSPAM.org with "subscribe sv-sc your_email_address_here" in the body.
  • SV-SC Email Archive
• 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.
  • Meeting Minutes Page
• Mantis database

Current Status (updated 2008-11-11)

• 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:
  • 2513: BNF fixes related to 1900
  • 2516: More Self-Consistency Fixes related to 2398

• New proposal passed based on Draft 7 review, implemented in 7a.
  • 2483: Self-Consistency Fixes related to 2398

• Passed by SV-SC and champion edits complete, implementation under review by reviewers below:
  • 1728: Let Statements: Dmitry, Manisha
  • 2414: Let VPI: Abi, Ed
  • 2088: Covergroups in Checkers: Tom, Francoise
  • 2415: ended/triggered fixes: Dmitry, Jin
  • 2396: @edge clk: Jin, Lisa
  • 2434: 1549 update: self-determined types: Gord, Mark
  • 2398: Concurrent Asserts in Procedural Code: New semantics: Erik, Gord
  • 1900: Checkers: Part 1: Tom, Dmitry; Part 2a, 17.1-17.4: Erik, Mirek; Part 2b: 17.5-end: Mike, Lisa

• Votes passed to close as duplicates
  • 2370: $past in Procedural Code: vote to close as duplicate of 1698
  • 1995: Concurrent Asserts in Procedural Loops vote to close as superseded by 2398
  • 2089: Final in Checkers: vote to close as duplicate of 1900
  • 2411: Allow tiriggered in sequences: Vote to close as duplicate of 2415
  • 2110: Checkers in procedural loops: Vote to close as superseded by 1900

• Dropped for this PAR
  • 2413: Inferred functions in let
  • 2412: Clock inference in sequences
  • 2182: VPI Diagrams for Checkers (Chuck Berking)

Working Documents

• Tom's summary of our goals regarding assertions
• Dmitry's summary of motivations for checkers in SVA
  • Erik's summary of checker decisions made at May 2008 F2F
• Dmitry's summary on concurrent assertions in procedural code
• Gord's summary of the proposed new semantics for concurrent asserts in procedural code
  • Some motivating examples from Tom
  • Gord's presentation on the new proposal
• Typing and property/checker/let arguments
  • Gord's summary of typing concerns for Let
  • Gord's presentation on type argument issues
• Dmitry's presentation on Let
• Fixes needed to pre-Draft6 proposals, as identified by committee reviews

Other Useful Links

• SV-AC committee web page
• SV-AC (assertion committee) email archive
• Patent Policy

About This Page

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