Re: [sv-ac] immediate assert

Subject: Re: [sv-ac] immediate assert
From: Adam Krolnik (krolnik@lsil.com)
Date: Tue Apr 22 2003 - 10:25:57 PDT

• Next message: Surrendra Dudani: "Re: [sv-ac] Some corrections/clarifications in SV3.1, draft 5"
• Previous message: Surrendra Dudani: "[sv-ac] immediate assert"
• In reply to: Surrendra Dudani: "[sv-ac] immediate assert"
• Next in thread: Surrendra Dudani: "Re: [sv-ac] immediate assert"
• Reply: Adam Krolnik: "Re: [sv-ac] immediate assert"
• Reply: Surrendra Dudani: "Re: [sv-ac] immediate assert"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Yes, this sounds appropriate.

But we (and David Smith) need to see the proposal in order for considering it.

    THanks.

    Adam Krolnik
    Verification Mgr.
    LSI Logic Corp.
    Plano TX. 75074

• Next message: Surrendra Dudani: "Re: [sv-ac] Some corrections/clarifications in SV3.1, draft 5"
• Previous message: Surrendra Dudani: "[sv-ac] immediate assert"
• In reply to: Surrendra Dudani: "[sv-ac] immediate assert"
• Next in thread: Surrendra Dudani: "Re: [sv-ac] immediate assert"
• Reply: Adam Krolnik: "Re: [sv-ac] immediate assert"
• Reply: Surrendra Dudani: "Re: [sv-ac] immediate assert"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Tue Apr 22 2003 - 10:30:35 PDT