VASG Issue Number:      0077
Comment Author:         Alex Zamfirescu
Comment Number:         01
Comment Date:           1991/09/19  

In the last paragraph of the VASG-ISAC Analysis & Rationale we read.

    This revised definition also makes the detection of a 
    passive process a task that can always be performed at
    analysis time.

The following example shows that this is not correct.

entity e is
    generic (G: integer := 0);
end e;

architecture a of e is
    type foo is array (0 to 1) of bit;
    signal bar1 : foo;
begin

    process 
    begin
       -- if G = 0, the following assignment does not create a driver,
       -- so we cannot properly detect if the process is passive at 
       -- analysis time
       bar1(1 to G) <= (others => '1'); 
       wait;
    end process;

end a;

The IR have to be re-thought in conjunction to the attribute definition 
for 'STRUCTURE.