[sv-ac] 1698 sampled value functions

From: Lisa Piper <piper_at_.....>
Date: Wed Jan 23 2008 - 09:34:10 PST

Hi Ed,

I have removed all references to synthesis.  Do you think it is ready
for vote now?  I have not yet posted it to Mantis but will when I hear
back.

Lisa

 <<1698_sampled_value_functions_08_01_23.pdf>> 

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

application/octet-stream attachment: 1698_sampled_value_functions_08_01_23.pdf

Received on Wed Jan 23 09:34:46 2008

This message: [ Message body ]
Next message: Eduard Cerny: "[sv-ac] RE: 1698 sampled value functions"
Previous message: Lisa Piper: "[sv-ac] 1987 verification statement -> assertion statement"
Next in thread: Eduard Cerny: "[sv-ac] RE: 1698 sampled value functions"
Reply: Eduard Cerny: "[sv-ac] RE: 1698 sampled value functions"
Maybe reply: Lisa Piper: "FW: [sv-ac] 1698 sampled value functions"

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

This archive was generated by hypermail 2.1.8 : Wed Jan 23 2008 - 09:35:02 PST