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: 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)
  • Re: An absolute Newbie question
    ... I have a question about using "IDLE", and that is whenever I start write my own program in the "Python Shell" it will automatically execute whatever ... Launch IDLE. ...
    (comp.lang.python)
Loading