Subject: Re: [sv-ac] Question about reference to data defined in sequence.
From: Adam Krolnik (krolnik@lsil.com)
Date: Thu Feb 06 2003 - 08:04:17 PST
Good morning all;
I have had time to think more about templates and have read the rest of the
discussion to date.
I agree with Jay that templates as being talked about are more powerful than just
for assertion inclusion. Scheme has a similar concept of a first class substitution
facility in their language.
But the fact that it is a textual substitution facility will bring up many more
questions and comments of the necessity:
1. Any syntax defined within the template must be compatible with the rest of
the language. E.g defining a sequence/bool/formula must be allowed in a module
scope, and in a procedural scope (of which declarations are restricted.)
2. Generate statements are limited to module level scope - you can not generate
code within a procedural context - you can generate procedural contexts (multiple
always blocks, etc.)
3. As a textual substitution, why then limit the language that can be placed in
there? As Jay pointed out, why can't I include other code?
4. The inclusion of procedural statements within a template, must now be supported
in a module scope. Similarly, clocked block declarations must be supported in all
procedural scopes.
5. To date all textual substitition is explicitly defined. You must have the "`" mark
in front of text to indicate substitution. The template substutution is not so marked.
While this does not create problems, it is a difference from the current tradition.
I will go back to Scheme and review their facilities - I brought this up when generate
statements were discussed for 1364-2001.
THanks.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Thu Feb 06 2003 - 08:06:32 PST