Re: How to invoke the debugger?

• Previous message: Zheng Tan: "How to invoke the debugger?"
• In reply to: Zheng Tan: "How to invoke the debugger?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Dear Zheng,

Please try "model_check -i -d1 aaa.ctl". Only the -d option turns on
debugging.

Roderick.

Zheng Tan wrote:
>
> 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

• Next message: M.N.S.Shahjahan: "Re: Problem in VIS- compiling."
• Previous message: Zheng Tan: "How to invoke the debugger?"
• In reply to: Zheng Tan: "How to invoke the debugger?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b29 : Mon Jan 15 2001 - 21:37:41 MST