OVI _ Formal verification working group kickoff meeting
Vivek Sagdeo (Vivek.Sagdeo@Eng.Sun.COM)
Mon, 19 Oct 1998 10:23:36 -0700 (PDT)
Hello,
You are invited to join the formal verification working group kickoff
meeting to be held on Tuesday October 27 at 9:00 am PST.
The working group is chartered with standardization efforts for:
1- Verilog Subset for formal verification.
2- Verilog extension language for property checking.
The teleconferencing information is as follows:
Phone # to call : (800)966-6502
Pl provide my name Vivek Sagdeo to the operator to join the call.
Time : 9:00 am to 11:00 am PST
The agenda for this meeting:
1- Welcome and Introduction.
2- Establish Charter, goals and expected deliverables.
3- Increasing the number of participants
4- Process and Procedure
I would like to thank you for your interest in this work
and look forward to working with you in this working group.
Regards,
Vivek Sagdeo
-----------------------------------------------------------------------
______
/_____/\
/_____\\ \ Vivek Sagdeo
/_____\ \\ / Sun Microelectronics
/_____/ \/ / /
/_____/ / \//\
\_____\//\ / / x48806
\_____/ / /\ / Phone (408)328-8806 (Direct Line)
\_____/ \\ \
\_____\ \\
\_____\/ E-mail vivek.sagdeo@Eng.sun.com
------------------------------------------------------------------------