[sv-ac] Updated proposal for Mantis #1737 - enabling condition inference

From: Eduard Cerny <Eduard.Cerny_at_.....>
Date: Tue May 08 2007 - 14:37:51 PDT

Hi,
hopefully it is now stable and done... I added an assertion in the lese
part of if. Uploaded to Mantis too.

Best regards,
ed

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

application/octet-stream attachment: enablingCondition_1737.070508.pdf

Received on Tue May 8 14:38:10 2007

This message: [ Message body ]
Next message: John Havlicek: "[sv-ac] notes from SV-AC meeting 2007-05-08"
Previous message: Eduard Cerny: "[sv-ac] $past RTL operational model?"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Tue May 08 2007 - 14:38:41 PDT