can u help me in drawing the state diagrams

From: Neelima Varakantham (neelima@eas.pdx.edu)
Date: Tue Aug 21 2001 - 11:56:28 MDT

  • Next message: vanessa goyal: "Need of Language Containment"

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

    Thanking you,

    Neelima.



    This archive was generated by hypermail 2b30 : Tue Aug 21 2001 - 12:02:52 MDT