Fw: RE: Assertion doc for 3.1

Subject: Fw: RE: Assertion doc for 3.1
From: Swapnajit Mittra (mittra@juno.com)
Date: Wed Dec 11 2002 - 00:16:40 PST

• Next message: Michael Rohleder: "Re: DirectC: C layer"
• Previous message: Andrzej Litwiniuk: "Re: DirectC: C layer"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Assertion documentation from SV-AC.

--
Swapnajit Mittra
Project VeriPage ::: http://www.angelfire.com/ca/verilog
--------- Forwarded message ----------
From: "Faisal Haque" <fhaque@cisco.com>
To: "Swapnajit Mittra" <mittra@juno.com>
Date: Tue, 10 Dec 2002 16:08:59 -0800
Subject: RE: Assertion doc for 3.1
Message-ID: <LEEAJOPJPOGFDOBBBJOKCEBEDBAA.fhaque@cisco.com>
This is the latest. Please keep in mind the language is still very much
in
flux.
Not expected to freeze til the end of january.
-Faisal
-----Original Message-----
From: Swapnajit Mittra [mailto:mittra@juno.com]
Sent: Monday, December 09, 2002 9:18 PM
To: fhaque@cisco.com
Subject: Assertion doc for 3.1
Hi Faisal,
We in SV-CC were wondering if you have a current
version of LRM for assertion. This will help us to
work on the assertion API.
Regards,
- Swapnajit.
________________________________________________________________
Sign Up for Juno Platinum Internet Access Today
Only $9.95 per month!
Visit www.juno.com

• application/pdf attachment: sv_assertions_chapter_0.75.pdf

________________________________________________________________ Sign Up for Juno Platinum Internet Access Today Only $9.95 per month! Visit www.juno.com

• Next message: Michael Rohleder: "Re: DirectC: C layer"
• Previous message: Andrzej Litwiniuk: "Re: DirectC: C layer"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Dec 11 2002 - 00:24:08 PST