Re: [sv-ec] $cast

Subject: Re: [sv-ec] $cast
From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Jan 06 2003 - 15:19:24 PST

• Next message: David W. Smith: "[sv-ec] January 21, 2003 SV-EC Face-to-face"
• Previous message: David W. Smith: "[sv-ec] Minutes from 6 January 2003 Meeting"
• In reply to: Kevin Cameron x3251: "[sv-ec] $cast"
• Reply: Adam Krolnik: "Re: [sv-ec] $cast"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi Kevin;

You wrote:

>And maybe add an optional severity argument to "assign" so that it can be
>non-fatal. E.g.:

> foo.assign(1+1,$warning); // Issue warning if out of range

Your above example already showed how to obtain a nonerror version.

if (!foo.valid(i + 1)) // legal?
    $warning("Suspicious (out of range) assignment to foo - Kevin...");

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

• Next message: David W. Smith: "[sv-ec] January 21, 2003 SV-EC Face-to-face"
• Previous message: David W. Smith: "[sv-ec] Minutes from 6 January 2003 Meeting"
• In reply to: Kevin Cameron x3251: "[sv-ec] $cast"
• Reply: Adam Krolnik: "Re: [sv-ec] $cast"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Mon Jan 06 2003 - 15:20:45 PST