http://sv-ac.pbwiki.com/ RecentChanges for sv-ac http://sv-ac.pbwiki.com/feedlogo.gif http://pbwiki.com/ PBwiki 1.3.8 support@pbwiki.com http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage SystemVerilog Assertions Committee Home Page
Charter
TheCharterThe SV-AC is the technical subcommittee of the IEEE P1800 Working Group that is tasked with maintaining and extending the assertion support within the SystemVerilog language.
Patent Policy
pat-slideset.ppt
Late-period work on the final changes for the 2009 PAR has been moved to the "Special Committee"; see http://www.eda.org/twiki/bin/view.cgi/P1800/SystemVerilogSpecialCommittee for more information.
Active Email Discussions:
7. See See full discussion details in email archive. (Scroll to bottom!)
Meeting and Status Information
is expected in September. progress.
Email reflector Subscription
To subscribe, please send an email to mailto:majordomo@eda.org with the following in the body of the email:
Feel free to email erik.seligman@intel.com with any questions about how to use or edit this wiki.
Note: while this page suppo]]> Tue, 23 Sep 2008 07:29:08 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage SystemVerilog Assertions Committee Home Page
CharterTheCharter
The SV-AC is the technical subcommittee of the IEEE P1800 Working Group that is tasked with maintaining and extending the assertion support within the SystemVerilog language.
Patent Policy
pat-slideset.ppt
Late-period work on the final changes for the 2009 PAR has been moved to the "Special Committee"; see http://www.eda.org/twiki/bin/view.cgi/P1800/SystemVerilogSpecialCommittee for more information.
Active Email Discussions:
SeeThe work is almost done for the 2009 PAR; review is in progress of the final pre-release draft, Draft 7. See full discussion details in email archive. (Scroll to bottom!)
Meeting and Status Information
The committee work is complete for 2008, except for review of Draft 7 which is expected in September.
Bridge: 2, Passcode: 2242690
Attendance Record:
Legend: x
x = attended -]]> Mon, 15 Sep 2008 07:15:28 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage Current Membership
Special Committee
The main SVA 2008Late-period work is winding down, except on the final changes for the debate on checkers and some related topics. This work 2009 PAR has been moved to the "Special Committee"; see http://www.eda.org/twiki/bin/view.cgi/P1800/SystemVerilogSpecialCommittee for more information.
Active Email Discussions:
See full discussion details in email archive. (Scroll to bottom!)
Meeting and Status Information
Next Meeting Date: 2008-07-14
Agenda: TBDThe committee work is complete for 2008, except for review of Draft 7 which is expected in September.
Email reflector Subscription
To subscribe, please send an email to mailto:majordomo@eda.org with the following in the body of the email:
]]> Fri, 22 Aug 2008 08:48:49 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage Feel free to email erik.seligman@intel.com with any questions about how to use or edit this wiki.
Note: while this page supports file attachments, our free account has limited space. So if you have a file to attach, the preferred method is to attach a file to your Mantis ticket (which is on a separate system) and link from here, rather than attaching files directly here.
Minutes (2008-06-30): (2008-07-14):
Minutes of IEEE P1800 SV-AC meeting #2007-56 #2007-57
Written by: Dmitry Korchemny
Date: 2008-06-30 2008-07-14
Time: 16:00 UTC (9:00 PDT)
Dial-in information:
Toll number: +1 916-356-2663
Toll free number (US): 888-875-9370 (U.S. toll-free)
Passcode: 1677916 2242690
Attendance Record:
Legend: x = attended - = missed r = represented . = not yet a member v = valid voter (2 out of last 3 or 3/4 overall) ]]> Wed, 23 Jul 2008 09:05:43 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage See full discussion details in email archive. (Scroll to bottom!)
Meeting and Status Information
Date: 2008-06-30 2008-07-14
Agenda: TBD
Email reflector Subscription
]]> Mon, 07 Jul 2008 08:33:12 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage Feel free to email erik.seligman@intel.com with any questions about how to use or edit this wiki.
Note: while this page supports file attachments, our free account has limited space. So if you have a file to attach, the preferred method is to attach a file to your Mantis ticket (which is on a separate system) and link from here, rather than attaching files directly here.
Minutes (2008-06-23): (2008-06-30):
Minutes of IEEE P1800 SV-AC meeting #2007-55 #2007-56
Written by: Dmitry Korchemny
Date: 2008-06-23 2008-06-30
Time: 16:00 UTC (9:00 PDT)
Dial-in information:
Toll number: +1 916-356-2663
Toll free number (US): 888-875-9370 (U.S. toll-free)
Passcode: 4207988 1677916
Attendance Record:
Legend: x = attended - = missed r = represented . = not yet a member v = valid voter (2 out of last 3 or 3/4 overall) ]]> Mon, 07 Jul 2008 08:32:47 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage See full discussion details in email archive. (Scroll to bottom!)
Meeting and Status Information
Date: 2008-04-22 2008-06-30
Agenda: TBD
Email reflector Subscription
Feel free to email erik.seligman@intel.com with any questions about how to use or edit this wiki.
Note: while this page supports file attachments, our free account has limited space. So if you have a file to attach, the preferred method is to attach a file to your Mantis ticket (which is on a separate system) and link from here, rather than attaching files directly here.
Minutes (2008-06-02): (2008-06-23):
Minutes of IEEE P1800 SV-AC meeting #2007-54 #2007-55
Written by: Dmitry Korchemny
Date: 2008-06-02 2008-06-23
Time: 16:00 UTC (9:00 PDT)
Dial-in information:
Toll number: +1 916-356-2663
Toll free number (US): 888-875-9370 (U.S. toll-free)
Passcode: 3199000 4207988
Attendance Reco]]> Sun, 29 Jun 2008 12:57:51 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage Feel free to email erik.seligman@intel.com with any questions about how to use or edit this wiki.
Note: while this page supports file attachments, our free account has limited space. So if you have a file to attach, the preferred method is to attach a file to your Mantis ticket (which is on a separate system) and link from here, rather than attaching files directly here.
Minutes (2008-05-12): (2008-06-02):
Minutes of IEEE P1800 SV-AC meeting #2007-53 #2007-54
Written by: Dmitry Korchemny
Date: 2008-05-12 2008-06-02
Time: 16:00 UTC (9:00 PDT)
Dial-in information:
Toll number: +1 916-356-2663
Toll free number (US): 888-875-9370 (U.S. toll-free)
Passcode: 8903006 3199000
Attendance Record:
Legend: x = attended - = missed r = represented . = not yet a member v = valid voter (2 out of last 3 or 3/4 overall) ]]> Wed, 04 Jun 2008 09:05:20 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage Opens.
Next meeting will be Monday, May 26.
Update (2008-04-30): (2008-05-27):
IEEE 1800 SV-AC Status Summary 2008-05-27
Last status summary: 2008-03-25 2008-04-30
- The following Mantis items have been resolved or re-resolved since the
vpiArgument . 1757 Asynchronous aborts . 1769 Elaboration time user assertion and error reporting tasks . 1806 Introduce "restrict property" verification statement . 1932 Introduce LTL and other temporal operators . 2100 Synchronous aborts . 2150 use of automatic variables in action block and subroutine calls should not be allowed . 2326 add VPI diagrams for property case [VPI diagrams extracted from
2173
. 2237 VPI additions for 1667 . 2335 Minor fix for 1641 . 2336 VPI for asynchronous aborts
- The following Mantis items have been approved by the champions since the
the last status summary:
. 1757 accept_on/reject_on . 1769 Elaboration time user as]]> Tue, 27 May 2008 16:41:55 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage Feel free to email erik.seligman@intel.com with any questions about how to use or edit this wiki.
Note: while this page supports file attachments, our free account has limited space. So if you have a file to attach, the preferred method is to attach a file to your Mantis ticket (which is on a separate system) and link from here, rather than attaching files directly here.
Minutes (2008-05-05): (2008-05-12):
Minutes of IEEE P1800 SV-AC meeting #2007-53
Written by: Dmitry Korchemny
Date: 2008-05-12
Time: 16:00 UTC (9:00 PDT)
Dial-in information:
Toll number: +1 916-356-2663
Toll free number (US): 888-875-9370 (U.S. toll-free)
Bridge: 2, Passcode: 8903006
Attendance Record:
Legend: x = attended - = missed r = represented . = not yet a member v = valid voter (2 out of last 3 or 3/4 overall) n = not a valid voter t = chair eligible to vote only to make or b]]> Tue, 20 May 2008 08:07:48 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage Feel free to email erik.seligman@intel.com with any questions about how to use or edit this wiki.
Note: while this page supports file attachments, our free account has limited space. So if you have a file to attach, the preferred method is to attach a file to your Mantis ticket (which is on a separate system) and link from here, rather than attaching files directly here.
Minutes (2008-04-29):
Minutes of IEEE P1800 SV-AC meeting #2007-51
Written by: Tom Thatcher
Date: 2008-04-29
Time: 16:00 UTC (9:00 PDT)
Dial-in information:
Toll number: +1 916-356-2663
Toll free number (US): 888-875-9370 (U.S. toll-free)
Bridge: 4, Passcode: 1122047 (2008-05-05):
Attendance Record:
Legend: x = attended - = missed r = represented . = not yet a member v = valid voter (2 out of last 3 or 3/4 overall) n = not a valid voter t = chair eligible to vote only to make or break]]> Fri, 09 May 2008 09:03:43 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage Bassam: Why did we end up with current semantics? There must have
been some customer use case to motivate this implementation.
Update (2008-03-25): (2008-04-30):
Last status summary: 2008-02-26 2008-03-25
- The following Mantis items have been resolved or re-resolved since the last status
last status summary:
.1728 Introduce "let"statement
.1769 . 1503 VPI diagram of propertyinst has no vpiArgument . 1757 Asynchronous aborts . 1769 Elaboration time user assertion and error reporting tasks
.1806 . 1806 Introduce "restrict property" verification statement
.1900 Add new 'checker' construct to SVA
.1932 . 1932 Introduce LTL and other temporal operators
.1987 Change "verification statement" to "assertion" or "assertion statement" and add to the glossary
.2005 Solution for glitch problem in]]> Fri, 09 May 2008 08:24:44 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage Feel free to email erik.seligman@intel.com with any questions about how to use or edit this wiki.
Note: while this page supports file attachments, our free account has limited space. So if you have a file to attach, the preferred method is to attach a file to your Mantis ticket (which is on a separate system) and link from here, rather than attaching files directly here.
Minutes (2008-04-22): (2008-04-29):
Minutes of IEEE P1800 SV-AC meeting #2007-51
Written by: Tom Thatcher
Date: 2008-04-29
Time: 16:00 UTC (9:00 PDT)
Dial-in information:
Toll number: +1 916-356-2663
Toll free number (US): 888-875-9370 (U.S. toll-free)
Bridge: 4, Passcode: 1122047
Attendance Record:
Legend: x = attended - = missed r = represented . = not yet a member v = valid voter (2 out of last 3 or 3/4 overall) n = not a valid voter t = chair eligible to vote only to make or break a tie]]> Fri, 09 May 2008 08:23:37 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage Feel free to email erik.seligman@intel.com with any questions about how to use or edit this wiki.
Note: while this page supports file attachments, our free account has limited space. So if you have a file to attach, the preferred method is to attach a file to your Mantis ticket (which is on a separate system) and link from here, rather than attaching files directly here.
Minutes (2008-04-08):
Agenda: (2008-04-22):
- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt
- Meeting attendance.
NK clarified that the attendance should be counted for all the voting meetings. The voting rights have been updated accordingly.
New temporal committee to handle checker related proposals.
DK and JH briefly updatedBallot results:
1503 passed, there were late comments from LP.
Addressing champions’ feedback:
2336 SV-AC on the first meeting VPI part of the new SV-SC committee.
]]> Mon, 28 Apr 2008 12:17:29 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage Special Committee
The main SVA 2008 work is winding down, except for the debate on checkers and some related topics. This work has been moved to the "Special Committee"; see http://www.eda.org/twiki/bin/view.cgi/P1800/SystemVerilogSpecialCommittee for more information.
Active Email Discussions:
See full discussion details in email archive. (Scroll to bottom!)
Meeting and Status Information
Next Meeting Date: 2008-04-22
Agenda: TBD
Email reflector Subscription
To subscribe, please send an email to mailto:majordomo@eda.org with the following in the body of the email:
subscribe sv-ac
Web Page Info
It's a wiki, so don't be afraid to edit a page or add a subpage if you have more info for the committee.
Feel free to email erik.seligman@intel.com with any questions about how to use or edit this wiki.
Note: while this page supports file attachments, our free account has limited space. So if you have a file to attach, the preferred method is to attach a file to yo]]> Fri, 18 Apr 2008 13:47:43 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage SystemVerilog Assertions Committee Home Page
Charter
TheCharterThe SV-AC is the technical subcommittee of the IEEE P1800 Working Group that is tasked with maintaining and extending the assertion support within the SystemVerilog language.
Patent Policy
pat-slideset.ppt
Co-Chair: Tom Thatcher, Sun
Current Membership
Special Committee
The main SVA 2008 work is winding down, except for the debate on checkers and some related topics. This work has been moved to the "Special Committee"; see http://www.eda.org/twiki/bin/view.cgi/P1800/SystemVerilogSpecialCommittee for more information.
Last Meeting Minutes (2008-04-08):
Agenda:
- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt
- Meeting attendance.
NK clarified that the attendance should be counted for all the voting meetings. The voting rights have been updated accordingly.
New temporal committee to handle checker related proposals.
DK and]]> Fri, 18 Apr 2008 13:46:44 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage Co-Chair: Tom Thatcher, Sun
Current Membership
Notes From Last Meeting (2008-03-20):
Attended: DB, YF, JH, DK, ES, TT.Latest Status Update (2008-03-25):
Last status summary: 2008-02-26
- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt
Voice vote:
· 2173 Add case construct for properties (updated version)
5y/0n/0a
· 2326 VPI diagram for the property case (extracted from 2173)
5y/0n/0a]]> Mon, 31 Mar 2008 09:54:09 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage pat-slideset.ppt
Organization
Chair: John Havlicek, Freescale
Co-Chair: Dmitry Korchemny, Intel Intel
Co-Chair: Tom Thatcher, Sun
Current Membership
Notes From Last Meeting (2008-03-20):
Attended: DB, YF, JH, DK, ES, TT.
- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt
Voice vote:
· 2173 Add case construct for properties (updated version)
5y/0n/0a
· 2326 VPI diagram for the property case (extracted from 2173)
5y/0n/0a
· 2327 Vacuity part of 2173
5y/0n/0a
· 1932 Introduce LTL and other temporal operators (updated version: next -> nexttime)
5y/0n/0a
· 1806 Restrict property statement (made consistent with 1987)
5y/0n/0a
· 2335 Minor fix for 1641 (addressing SB comments)
5y/0n/0a
· 2069 Formal semantics for coverage is missing (approve the fix of the friendly amendment)
5y]]> Fri, 21 Mar 2008 07:41:07 +0000 mod http://sv-ac.pbwiki.com/Last+Meeting+Minutes email.hidden@example.com (Erik Seligman) Erik Seligman edited Last Meeting Minutes meeting #2007-43 #2007-46
Written by: John Havlicek Dmitry Korchemny
Date: 2008-02-28 2008-03-18
Time: 16:00 UTC (10:00 CST) (9:00 PST)
Attendance Record:
------------------
t = chair eligible to vote only to make or break a tie
New PAR, attendance re-initialized on 2006-08-22:
v[xxx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx]v[xxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
v[xxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x]
v[xxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)
n[-----------------------------x-xxx---------x-x-xxx-x---x]
n[-------------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
v[xxxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------]]]> Fri, 21 Mar 2008 07:37:22 +0000 mod http://sv-ac.pbwiki.com/FrontPage email.hidden@example.com (Erik Seligman) Erik Seligman edited FrontPage Co-Chair: Dmitry Korchemny, Intel
Current Membership
Summary ofSV-AC Mantis Items (as of 2008-02-29):
Editor (4)
. 1466 Shortcuts for delay and consecutive repetition . 1567 Erroneous semicolon in Syntax 19-2 . 1591 $past syntax not precise . 1722 There exist bind inconsistencies between the BNF and the text
Approved (12)
. 1641 Need a way to specify severity for printing general error messages . 1681 Introduce global clocking . 1682 Future value functions . 1683 Relax rules for building muticlocked properties . 1731 Sampled value functions with arbitrary clocks . 1737 Incomplete fix from 1381 . 1800 Incorrect example with throughout . 2033 Explicitly mention generate blocks as sequence and property declaration . 2090 Concurrent assertion instantiation -- inconsistent wording . 2171 Wrong usage of "property expression" in Reactive region description . 2175 D4 implementation feedback . 2188 Typo in 38.4.1
Resolved (31)
. 1549 Add missing argument types
. 1601 New keywo]]> Mon, 03 Mar 2008 13:46:14 +0000 mod