help needed in Cadence SMV

Hi,

I am trying to execute following code
I get the error :
line 30 : recursively define : ph1.state

Can anyone help me to find out why this error is occuring and what is
the work around for the same

MODULE phone(ph_2_state)
{

state : {idle,ready,red};

init(state) := idle;
next(state) :=
case {
ph_2_state = ready & next(ph_2_state) = ready : ready;
1 :
{idle,ready};
};
}
MODULE phone1(ph_2_state)
{

state : {idle,ready,red};

init(state) := idle;
next(state) :=
case {
ph_2_state = ready & next(ph_2_state) = ready : idle;

1 :
{idle,ready};
};
}

module main()
{
ph1: process phone(ph2.state);
ph2: process phone1(ph1.state);
}

Regards,
Vimal

.

Relevant Pages

  • Re: When does the risk outweigh the benefit?
    ... only includes cutting the power to idle. ... in a go-round, touch and go, or engine out emergency landing practice) ... doesn't turn out as planned, you execute a go-round, don't you? ...
    (rec.aviation.piloting)
  • AI Mind - FORTH
    ... By accident I found a novel thing occuring with my AI Mind. ... execute its own code, for that matter rewrite existing modules as ... I just went in and reentered the test1: ...
    (comp.lang.forth)
  • Re: Low power software + high power hardware = high power dissipation?
    ... or execute the idle thread or process ...  More power aware CPUs monitor ongoing CPU ... The entry of a message into the queue the GetMessage() is blocking on. ...
    (comp.programming)
  • Re: Problem with a conection...
    ... the 2396 error should not be triggered during a select as the connection is not 'idle'. ... I have a program that takes around six or seven hours to execute. ... What should I do to reconnect with the database when I suffer a disconnection? ...
    (perl.dbi.users)
  • Re: newbie question
    ... The file must be in your Python path. ... just specify the full path. ... While viewing your code with IDLE, hit F5 to execute it. ...
    (comp.lang.python)