Assertion
By Subject
346 messages sorted by:
[ author ]
[ date ]
[ thread ]
Starting: Mon Jul 16 2001 - 12:21:49 PDT
Ending: Wed Jul 31 2002 - 12:59:00 PDT
- $assert* bnf
- Accellera Board's Review of Technical Committee Rules
- Accellera TCC Donation Process
- Accellera's DAC Open Membership Meeting Invitation
- accept/reject
- Action from Assertion meeting 3/21/02
- Agenda for May 20 Meeting
- Agenda for Wednesday 3/13
- An Open Process
- An Update
- An updated Assertion Documentation
- Another Proposal for OVL Assertion Library.....
- Assertion Committee Goals Revisited.
- Assertion Committee Meeting 1/24 Postponed
- Assertion Committee Meeting Minutes
- assertion discussions of fvtc languages
- Assertion message proposal
- Assertion Messages
- Assertion Minutes 3/28/02
- Assertion Minutes 3/28/02--votes
- Assertion reflector is being deactivated today
- Assertion requirements
- Assertion Requirements and Donation
- Assertion Requirements and Sugar 2.0
- Assertions Goals Revisited
- Assertions known from VHDL
- Assertions requirements from Real Intent
- Assertions vote
- AW: Assertions requirements from Real Intent
- AW: Today's Roadmap Meeting
- Begin-End / { } / < > ? + Assert
- Call for Final Vote on Assertion Spec (version 1.8)
- Call-in info for 8/1 meeting
- Chairman for Enhancement Committee
- Changed the front pages of SystemVerilog 3.0 LRM
- Co-Design Assertion Requirements
- DAS Donation From Co-Design
- Documentation available on-line
- EEDesign Poll
- end of simulation
- Face to Face Meeting On November 12 at Mentor Graphics -- San Jos e
- Face to Face Meeting On November 12 at Mentor Graphics -- San Jose
- Face To Face Meeting on Wednesday June 5, 2002
- Few more assertion examples/questions
- Final Assertion Spec -- problem noted.
- Fitz's Action Items for 7/22 Meeting
- Follow-up from meeting
- Friday's Assertion Meeting
- Fwd: Moving Ahead on SystemVerilog 3.1 Despite Politics
- Gentle Reminder On Position Statement
- Harry Fosters Email....
- HDL+ June 2002 Minutes - Modified
- HDL+ Meeting -- March 14 meeting at Mentor Graphics
- HDL+ SystemVerilog 3.1 Planning Meeting Minutes and Presentat ions
- HDL+ SystemVerilog 3.1 Planning Meeting Minutes and Presentations
- Invitation to Accellera's Annual DAC Breakfast & Panel
- Jeda Language
- June 5 HDL+ Committee Meeting At Synopsys Building B Mountain Vie w
- June 5 HDL+ Committee Meeting At Synopsys Building B Mountain View
- June 5th Meeting for HDL+ committee meeting -- PLEASE RSVP.
- Links to documents
- March 13-th HDL+ assertion meeting info
- Minutes for the Assertion Committee Meeting 2/12/2002
- Minutes from Assertions/OVL meeting 11/20
- Minutes from OVL Meeting 9 May 2002
- Minutes from OVL Meeting 9 May 2002 - Updated Attendance
- Minutes of 7/25/02 Meeting
- Minutes of Assertion committee meeting 12/20/01
- Minutes of Assertion committee meeting 12/20/01 - Attendance correction
- Minutes of Assertion meeting 3/21/02
- Minutes of SV-Assertions Meeting - 7/9/02
- Minutes of Wednesday, 3/13 meeting
- Minutes Verilog++ 7th committee meeting]
- more on Assertion discussion of FVTC languages
- Moving Ahead on SystemVerilog 3.1 Despite Politics
- Moving Ahead with SystemVerilog 3.1 Despite Politics.
- Mtg minutes for August 17th
- MY INHERITANCE
- New Chairman Is Appointed for SV-AC Committee
- New Dates and New Plans - IMPORTANT
- Next Assertion Committee meeting
- Next meeting of the System Verilog Assertion Sub-committee
- Next OVL Meeting - Thursday May 4
- Next OVL Meeting - Thursday May 9
- Next OVL/Assertion committee mtg
- Non-Gentle Reminder ---- For Assertion Position Statement
- October 18 Mtg Minutes
- Official Issue List for SystemVerilog 3.1 and comments
- OVL Committee mtg tomorrow
- OVL Committee Reflector is now on-line
- OVL meeting minutes
- OVL mtg
- OVL suggestions
- OVL suggestions (win* endings)
- OVL/Assertion Committee Mtg minutes
- OVL/Assertion Committee mtg on Friday
- OVL/Assertion Committee mtg today
- OVL/Assertion committee mtg Wednesday
- Patent Disclosure Relating to Assertions Work
- phone bridge information
- Please Welcome David Lacey As The Assertion Committee Chairman
- Poll of the Week - www.eedesign.com
- problems with current definition/document
- Proposal for OVL severity levels.
- Q&A on Java assertions.
- Question
- questions about CBV
- Real Intent's Assertion Requirements with Justifications
- Request to add to the mailing list
- Return to professionalism...
- Returned mail: User unknown
- September 10 Conference Call == Plans for Face to Face Meeting on September 24.
- Sequential Regular Expressions as Assertions
- Starting Up the SV-CC Committee
- Support the HDL+ Chairs and Let us Start Working
- SV-AC Committee Reflector is now on-line
- SV-Assertions Meeting - July 9 @ 9 AM PST
- SV-CC Committee
- SV-CC Commmittee Email Reflector
- Synopsys requirements for SV assertions
- Synopsys sv3.1_donation_Assertion
- Synopsys sv3.1_donation_VeraLite
- system task
- System Task naming suggestions
- system tasks
- System Verilog Assertion Requirements from 0-In
- SystemVerilog 3.0 is Officially An Accellera Standard
- SystemVerilog 3.1 Assertions start-up
- SystemVerilog draft 6
- SystemVerilog vote
- Test: [Fwd: Welcome to assertion]
- Thursday's Assertion Committee mtg
- Thursday's meeting
- Thursday's Meeting at Mentor
- Time To Act And Stop The Politics
- Time to Start Up Again!
- Today's Roadmap Meeting
- Updated assertion Requirements document
- Updated Assertions Requirements doc
- Updated attendance list
- updated HDL+ phone in numbers
- Verification Education Workshop at DAC
- Verilog++ 12th Committee Meeting Minutes (Face to Face)
- Verilog++ Assertion Committee Slides
- Verilog++ Assertion Extension Proposal
- Verilog++ Assertion Requirements Proposal
- VHDL OVL Library and Accellera OVL Meeting Feb 12
- voting on assertions
- Voting Results as of 5/30 by the Accellera Board
- We are now ready to start working
- Welcome to Jayan Nagda
- when is the next assertions meeting
- Yatin Trevidi Accepted the Chair position for SV CC
Last message date: Wed Jul 31 2002 - 12:59:00 PDT
Archived on: Wed Jul 31 2002 - 12:59:44 PDT
346 messages sorted by:
[ author ]
[ date ]
[ thread ]
This archive was generated by hypermail 2b28
: Wed Jul 31 2002 - 12:59:44 PDT