[sv-ac] Initial proposal text for messages in sequences.

Subject: [sv-ac] Initial proposal text for messages in sequences.
From: Adam Krolnik (krolnik@lsil.com)
Date: Wed Nov 26 2003 - 13:08:19 PST

Hello;

Here is an initial wording on the proposal. I wrote it and then saw that
John's if() proposal only allows for a boolean if expression. I will have
to remove that section or we can discuss alternatives.

     Thanks.

    Adam Krolnik
    Verification Mgr.
    LSI Logic Corp.
    Plano TX. 75074
    Co-author "Assertion Based Design"

seq_message.txt

This archive was generated by hypermail 2b28 : Wed Nov 26 2003 - 13:09:02 PST