Subject: Re: [sv-ac] Draft 5 review meeting
From: Adam Krolnik (krolnik@lsil.com)
Date: Wed Mar 03 2004 - 12:21:48 PST
Hi John;
This is good - similar to PSL...
>How about
> Formal Semantics of Concurrent Assertions
>as the annex title?
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
Co-author "Assertion Based Design"
This archive was generated by hypermail 2b28 : Wed Mar 03 2004 - 12:28:48 PST