[sv-ac] Re: The "forall" construct for sva // a possibility?

From: ben cohen <hdlcohen@gmail.com>
Date: Mon Jul 26 2010 - 08:43:35 PDT

>
> Dmitry,
> I just had a request for a "forall" construct for sva.
> Do you see a possibility? The forall does iterations.
> Something like psl.
> Thanks,
> Ben
>

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

Received on Mon Jul 26 08:44:22 2010

This message: [ Message body ]
Next message: Little Scott-B11206: "RE: [sv-ac] Call to vote. Due July 26"
Previous message: Surrendra Dudani: "[sv-ac] RE: Call to vote. Due July 26"

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

This archive was generated by hypermail 2.1.8 : Mon Jul 26 2010 - 08:44:29 PDT