error message on WAIT FOR.


Subject: error message on WAIT FOR.
dmsidorov@mtu-net.ru
Date: Wed Apr 18 2001 - 13:30:25 MDT


Hello.

In the next code have been writed
wait for (CK'event and CK = '1');
in the place of
wait until (CK'event and CK = '1');

While processing this file with scram,
I have take the next error message:

%>scram -publish-cc ts7.vhdl
Processing file ts7.vhdl
scram: aire/iir/IIRScram/IIRScram_Operator.cc:117: class IIR * IIRScram_Operator::_rval_to_decl(IIR_TypeDefinition *): Assertion `_is_resolved() == true || parse_error == true' failed.

Compilation aborted at Wed Apr 18 22:41:38

With regards,
Dmitry B. Sidorov.

---------------------- CUT HERE --------------------
library std;
use std.textio.all;

entity ts7 is
end ts7;

architecture behav of ts7 is
  signal CK : bit := '0'; -- clock
  signal s1, cc : integer := 0;
begin
  -- clock processing
  clock : process
  begin
    ck <= not ck;
    if (CK = '1') then
      cc <= cc + 1; -- clock counter
    end if;
    wait for 1 us;
  end process;
  -- output
  output : process (CK)
    file RESULT_FILE : text open write_mode is "../ts7.out";
    variable myout : line;
  begin
    s1 <= s1 + 1;
    write (myout, cc); write (myout, '_'); write (myout, s1);
    writeLine (RESULT_FILE, myout);
        wait for (CK'event and CK = '1'); -- error!!!!
  end process;
end behav;



This archive was generated by hypermail 2b25 : Mon Mar 18 2002 - 13:00:01 MST