Subject: [sv-ac] Property definition in $root
From: Armoni, Roy (roy.armoni@intel.com)
Date: Tue Oct 28 2003 - 08:42:39 PST
Hi everyone,
I see in http://www.eda.org/sv-bc/sep_comp/Packages_Sep_V5.pdf that BC
are proposing to disallow assert statements in $root. I believe this is
o.k. as long as it is allowed to define properties in $root, otherwise,
we may need to compile the same property over and over in every module.
What do you think?
Regards,
Roy
This archive was generated by hypermail 2b28 : Tue Oct 28 2003 - 11:14:45 PST