Dear VIS group members,
I am a new user of VIS. Can you pl. help with the following issues?
1. Sometimes variables used in original Verilog file are no longer
visible to the CTL formula during
Is there any workaround? Will it help if they are declared as
2. The debugger of model_check command does not show all the (output)
Is there any way we can direct it to show required information?
Can the error trace generated by debugger be given to simulate
Thanks for your help in advance.
with best regards
-- Paritosh K. Pandya, Computer Science Group, Tata Institute of Fundamental Research, Homi Bhabha Road, Colaba, Mumbai 400 005 India Ph. +91-22-2188725 Email: firstname.lastname@example.org http://www.tcs.tifr.res.in/~pandya
This archive was generated by hypermail 2b29 : Fri Jul 14 2000 - 04:43:06 MDT