Subject: RE: Follow-up from meeting
From: Tom Anderson (tla@0-in.com)
Date: Mon Dec 10 2001 - 12:11:09 PST
Thanks for the comments, Vassilios. Bringing up the formal group is
is important since we really shouldn't need to have two independent
efforts within Accellera to define temporal constructs. One possible
future vision is that people capture basic assertions with a simple
(System) Verilog assertion construct, use OVL for canned assertions
and use whatever language the formal group chooses for their complex
temporal assertions.
Tom A.
This archive was generated by hypermail 2b28 : Mon Dec 10 2001 - 12:12:45 PST