Re: can u help me in drawing the state diagrams

• Previous message: Fabio Somenzi: "Undeclared Variable"
• In reply to: Neelima Varakantham: "can u help me in drawing the state diagrams"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Ping_pong is a very simple model. You can use the compute_reach
command in vis to count the number of reachable states.

One suggestion is to initially ignore the two modules never_no_balls
and infinitely_often_hit. These are monitors, and have no effect on
the two players. Each player is a simple two-state machine, which can
be easily drawn by inspecting the verilog code. Composing the two
players should also give no problem.

Fabio

>>>>> "NV" == Neelima Varakantham <neelima@eas.pdx.edu> writes:

 NV> Hello,
 NV> I am a student of PSU,I am trying to draw the state diagrams for
 NV> the ping pong code in verilod for the CTL properties showing the
 NV> input and also the output and also the state of each player.I will be
 NV> very glad if you can help me in anyway.

 NV> Thanking you,

 NV> Neelima.

• Next message: Fabio Somenzi: "Re: grant mechanism produces segfault"
• Previous message: Fabio Somenzi: "Undeclared Variable"
• In reply to: Neelima Varakantham: "can u help me in drawing the state diagrams"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : Tue Aug 28 2001 - 08:18:35 MDT