Requirements from Intel

Subject: Requirements from Intel
From: Armoni, Roy (roy.armoni@intel.com)
Date: Thu Aug 08 2002 - 10:34:12 PDT

• Next message: Erich Marschner: "window-based property evaluation"
• Previous message: Tom Fitzpatrick: "Updated requirements"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi Tom, All,

Sorry for coming late with this. I would still appreciate your
consideration of the following requirements:

* The assertion language should be demonstrably verifiable through
simulation by sketching an algorithm for checking the assertions in
reasonable complexity.
* The assertion language should be demonstrably verifiable through
simulation by showing a working tool that implements checking the assertions
in reasonable complexity.
* The assertion language should be demonstrably verifiable through
model checking by sketching an algorithm for checking the assertions in
reasonable complexity.
* The assertion language should be demonstrably verifiable through
model checking by showing a working tool that implements checking the
assertions in reasonable complexity.

I believe that the reasoning behind these requirements should be clear.
IMHO, we should make sure that we do not end up with a language that cannot
be implemented.

I am also willing to be more specific in what "reasonable complexity" is, if
the committee requires that.

Thanks,
 Roy

• Next message: Erich Marschner: "window-based property evaluation"
• Previous message: Tom Fitzpatrick: "Updated requirements"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Aug 08 2002 - 10:36:20 PDT