Subject: Re: [sv-ac] OVA donation presentation
From: Alain Raynaud (alain@tensilica.com)
Date: Thu Sep 19 2002 - 09:44:24 PDT
I attended a Synopsys training on OVA, but didn't get an answer to this
question:
can OVA describe data integrity constraints or checkers, or is it
restricted to mostly "protocol" checkers?
A simple example (there are more complicated cases): a split-transaction
bus where requests have tag ids. A protocol checker can check that every
Request is followed by an Ack. A data checker would also make sure that
the tag ids match both request and ack.
OVA has a variable construct, but it wasn't clear whether a local copy
is created for each implicit thread that the temporal expression may be
spawning.
Thank you for clarifying that point.
I'm assuming such features are part of the sv-ac requirements. To me at
least, they are critical.
Alain Raynaud
Tensilica, Inc.
This archive was generated by hypermail 2b28 : Thu Sep 19 2002 - 09:47:22 PDT