Re: [sv-ac] Re: Action items for Rajeev Ranjan

Subject: Re: [sv-ac] Re: Action items for Rajeev Ranjan
From: Adam Krolnik (krolnik@lsil.com)
Date: Thu Aug 22 2002 - 07:28:30 PDT

• Next message: Ambar Sarkar: "RE: [sv-ac] Re: Action items for Rajeev Ranjan"
• Previous message: Shalom Bresticker: "Re: [sv-ac] Re: Action items for Rajeev Ranjan"
• In reply to: Ambar Sarkar: "[sv-ac] Re: Action items for Rajeev Ranjan"
• Next in thread: Ambar Sarkar: "RE: glitches and scope of assertions [Was: [sv-ac] Re: Action items for Rajeev Ranjan]"
• Reply: Adam Krolnik: "Re: [sv-ac] Re: Action items for Rajeev Ranjan"
• Reply: Ambar Sarkar: "RE: glitches and scope of assertions [Was: [sv-ac] Re: Action items for Rajeev Ranjan]"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Good morning Ambar;

What problem are you attempting to solve by suppressing glitches?
Can you give a real life example so that others can understand
the problem (made up examples can be hard to justify as they
can be argued to be outside common practices.)

  Thanks.

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

• Next message: Ambar Sarkar: "RE: [sv-ac] Re: Action items for Rajeev Ranjan"
• Previous message: Shalom Bresticker: "Re: [sv-ac] Re: Action items for Rajeev Ranjan"
• In reply to: Ambar Sarkar: "[sv-ac] Re: Action items for Rajeev Ranjan"
• Next in thread: Ambar Sarkar: "RE: glitches and scope of assertions [Was: [sv-ac] Re: Action items for Rajeev Ranjan]"
• Reply: Adam Krolnik: "Re: [sv-ac] Re: Action items for Rajeev Ranjan"
• Reply: Ambar Sarkar: "RE: glitches and scope of assertions [Was: [sv-ac] Re: Action items for Rajeev Ranjan]"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Aug 22 2002 - 07:35:44 PDT