How to invoke the debugger?

From: Zheng Tan (tan@mcserg.cas.mcmaster.ca)
Date: Mon Jan 15 2001 - 20:05:40 MST

  • Next message: Roderick Bloem: "Re: How to invoke the debugger?"

    Hi,

    When I use model_check of temporal Logic. I got " MC: formula
    failed......."
    and then I do not know how to call debugger.

    The commands I used are as follows:

    1)read_verilog aaa.v
    2)init_verify
    3)model_check -i aaa.ctl

    Could you tell me what is wrong with my VIS ? Thank you very much!

    Zheng Tan

    This archive was generated by hypermail 2b29 : Mon Jan 15 2001 - 20:07:23 MST