Subject: RE: Follow-up from meeting
From: Tom Anderson (tla@0-in.com)
Date: Mon Dec 10 2001 - 13:36:23 PST
> It is important not to be seduced by the overlap.
No seduction intended; I used the phrase "one possible future vision"
to mean just that. I'm not sure if this is the right vision, or even
whether it's possible to achieve. I do know that there are designers
who would not voluntarily use any of the four formal languages under
consideration by the formal verification technical committee. One of
our goals in this committee should be to satisfy their assertion needs
without adding a lot of complexity to System Verilog. I'm afraid that
that if we try to capture every possible assertion type or temporal
relationship with new constructs we're going to end up with something
that looks more like the existing formal languages than Verilog.
This archive was generated by hypermail 2b28 : Mon Dec 10 2001 - 13:37:56 PST