Boyd Technology - Database

From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Wed Jul 17 2002 - 05:37:59 PDT

• Next message: Shalom Bresticker: "errata/74: : 4.1.14: unclear examples of illegal concatenations"
• Previous message: sharp@cadence.com: "errata/73: 4.1.14 implies replication legal lvalue"
• Next in thread: Stefen Boyd: "Re: Boyd Technology - Database"
• Reply: Stefen Boyd: "Re: Boyd Technology - Database"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

Stefen,

I guess you should update the message that "Formal analysis ... is
suspended ...".

Shalom

http://boyd.com/1364_btf/database.shtml

--
Shalom Bresticker                           Shalom.Bresticker@motorola.com
Design & Reuse Methodology                             Tel: +972 9 9522268
Motorola Semiconductor Israel, Ltd.                    Fax: +972 9 9522890
POB 2208, Herzlia 46120, ISRAEL                       Cell: +972 50 441478
"The devil is in the details."

• Next message: Shalom Bresticker: "errata/74: : 4.1.14: unclear examples of illegal concatenations"
• Previous message: sharp@cadence.com: "errata/73: 4.1.14 implies replication legal lvalue"
• Next in thread: Stefen Boyd: "Re: Boyd Technology - Database"
• Reply: Stefen Boyd: "Re: Boyd Technology - Database"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

This archive was generated by hypermail 2.1.4 : Thu Oct 10 2002 - 09:24:26 PDT and
sponsored by Boyd Technology, Inc.