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