FSM State transition coverage

Discussion in 'VHDL' started by hari_krishna, Aug 22, 2006.

  1. hari_krishna

    hari_krishna

    Joined:
    Jul 18, 2006
    Messages:
    2
    Hi,

    We have a configurable state machine that need to be tested by generating testbench automatically to achieve 100% state and transition coverage.

    When doing manually we know which of the transitions covered and not. Based on this feedback we can always add more stimulus until we achieve 100% coverage.

    But when doing automatically how do I make sure that the stimulus generated is covering all the state trnasitions? In otherwords I need to travel thorugh all the state transitions. Some times I may need to travel back to some known state to cover some particular state transition.

    Is there any way(algorithm) to travel through all the possible state transitions which can be used to automate my testing.

    I appreciate any feedback.

    Thanks
    Hari
     
    hari_krishna, Aug 22, 2006
    #1
    1. Advertising

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. Tony Smith
    Replies:
    0
    Views:
    805
    Tony Smith
    Apr 28, 2004
  2. Divyang M
    Replies:
    9
    Views:
    654
    Divyang M
    May 18, 2005
  3. Raj
    Replies:
    4
    Views:
    7,822
    asicvlsi
    Feb 21, 2008
  4. Ben Finney
    Replies:
    7
    Views:
    550
    Ned Batchelder
    Oct 30, 2007
  5. python@bdurham.com

    Coverage checker: Coverage.py or pycover or ?

    python@bdurham.com, May 25, 2008, in forum: Python
    Replies:
    0
    Views:
    394
    python@bdurham.com
    May 25, 2008
Loading...

Share This Page