Stats

Locked Locked
Replies 2
Subscribers 64
Views 2366
Members are here 0

This discussion has been locked.

You can no longer post new replies to this discussion. If you have a question you can start a new discussion

Using Cadnece SMV model checker

Dear all,

I was trying to download the SMV model checker from the website www.kenmcmil.com/smv.html. But, once I click the link given in the bottom of the page, its leading me to the main page of Cadence and not the download section of the Model checker.

Is there any other way to download the Cadence SMV tool (or equivalent student versions). I was using VIS Model checker from Colorado university, but the support is very poor.

Thanks a lot

ckomar over 10 years ago

Cadence SMV no longer exists....sorry.

Chris
Cancel
Vote Up 0 Vote Down

Cancel
vineeshvs1 over 10 years ago

Thanks Chris. Do you have any suggestions for model checkers equivalent to Cadence SMV? I have the verilog code of a processor with me and I need model checking in some part of it. Model checkers like NuSMV require me to re-write the code of the processor in their language '.smv', which is huge amount of work. Which model checker would you recommend?
Cancel
Vote Up 0 Vote Down

Cancel

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.