Re: [sv-bc] Proposals for SV3.1a


Subject: Re: [sv-bc] Proposals for SV3.1a
From: Adam Krolnik (krolnik@lsil.com)
Date: Tue Sep 23 2003 - 11:27:01 PDT


Hi Dave;

> gate level primitives

Ahhh, yes, that part of the language.

What is the motivation for this improvement. Simply allowing one
to use the names and, or, xor can't be the real reason.

      Adam Krolnik
      Verification Mgr.
      LSI Logic Corp
      Plano TX. 75074
      Co-author "Assertion Based Design"



This archive was generated by hypermail 2b28 : Tue Sep 23 2003 - 12:31:30 PDT