Re: Problem.

From: Fabio Somenzi (Fabio@colorado.edu)
Date: Thu May 31 2001 - 11:26:36 MDT

  • Next message: Fabio Somenzi: "How Reachability Helps Model Checking"

    >>>>> "RB" == Roderick Bloem <roderick.bloem@colorado.edu> writes:

    >> Once it accepted, it would not do a flatten hierarchy, because
    >> "table <number> is not deterministic"
    >>
    >> And the output for that just streamed across the screen, listing a lot
    >> of tables.

    One common cause for this problem is assignments to the same "reg"
    from different "always" statements. This may indeed result in a
    nondeterministic description---one in which simulation results can't
    be trusted because they depend on the order of event processing. In
    your case, it may be the side effect of the other problems.

    Fabio



    This archive was generated by hypermail 2b30 : Thu May 31 2001 - 11:32:57 MDT