RE: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions.

Subject: RE: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions.
From: Tom Anderson (tla@0-in.com)
Date: Wed Sep 18 2002 - 13:29:50 PDT

• Next message: Richard Ho: "RE: [sv-ac] R29a/b Optional or mandatory name for assertions/properties/assumptions."
• Previous message: Dagan, Gail M: "RE: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions."
• Next in thread: Prakash Narain: "Re: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions."
• Maybe reply: Tom Anderson: "RE: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions."
• Reply: Prakash Narain: "Re: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Well said, Gail. One additional point is that we want to encourage
engineers to use assertions. The more characters we require for each
assertion, the harder we make it look.

Tom A. [aka ovi1751]

• Next message: Richard Ho: "RE: [sv-ac] R29a/b Optional or mandatory name for assertions/properties/assumptions."
• Previous message: Dagan, Gail M: "RE: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions."
• Next in thread: Prakash Narain: "Re: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions."
• Maybe reply: Tom Anderson: "RE: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions."
• Reply: Prakash Narain: "Re: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Sep 18 2002 - 13:32:18 PDT