p1800 System Verilog Special Committee (SV-SC) Home Page

What is the "Special Committee"?

This is a new 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 may encompass 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 after Draft 7 is released in September to discuss reviews.
  • Meeting Minutes Page
• Mantis database

Current Status (updated 2008-08-22)

• Summary: All votes complete, final versions of proposals in Mantis and approved by Champions.

• Passed by SV-SC and champion edits complete, expected to appear in Draft 7 in September 2008.
  • 1728: Let Statements
  • 2414: Let VPI
  • 2088: Covergroups in Checkers
  • 2415: ended/triggered fixes
  • 2396: @edge clk
  • 2434: 1549 update: self-determined types.
  • 2398: Concurrent Asserts in Procedural Code: New semantics
  • 1900: Checkers

• 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