[sv-bc] RE: [sv-ec] Question about TF arg lifetime

Yes, 13.3.1 of the latest draft says --

  "Specific formal arguments and local variables can be declared as
automatic within a static task or by declaring specific formal arguments
and local variables as static within an automatic task." 

and there is no way in the tf_port_list BNF to override the lifetime of
formal arguments of a static subroutine.

-- Brad 

-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
Surya Pratik Saha
Sent: Sunday, December 16, 2007 9:55 PM
To: sv-ec@eda.org; sv-bc@eda.org
Subject: [sv-ec] Question about TF arg lifetime

Hi,
According to the 1800 LRM (section 12.2), we can now have automatic
formal arguments for static tasks (and vice versa). However, I could not
discover the "official" syntax to do so in the LRM.

(1)

The most obvious one:

task mytask (input automatic reg d);
Whis is wrong as per BNF.

(2)

If I go to non ansi-style:

task mytask (input d);
  automatic reg d;
endtask
Then some tool is giving redeclaration error for 'd', which is correct
as per mantis 1169.

(3)

Finally, if I try:

task mytask;
  input d;
  automatic reg d;

Then, it is okay as per BNF. However, if I try to make it implicit data
type, then  is wrong  as per BNF.

task mytask;
  input d;
  automatic d;

What is the correct way to achieve the behaviour?

--
Regards
Surya





-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.