Stats

  • Locked Locked
  • Replies 7
  • Subscribers 66
  • Views 4821
  • 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

IFV and IUS, what's the difference?

archive

Hello Cadence,

There are two similar simulation environment: IFV and IUS. Who know what's the difference with them? And one is another one's super set?

Best regards,
Davy


Originally posted in cdnusers.org by davyzhu
Parents

  • Hi Davy.

    Excellent question! :-)
    Here's the very high level answer (ask your AE for a demo of IFV too!).

    IUS is the Incisive Unified Simulator (unified because all the languages are supported natively in the same simulation kernel).
    IUS deals with dynamic simulation, i.e. time advances as you simulate and you can run behavioural testbench or modelling code.

    IFV is the Incisive Formal Verifier tool. Formal analysis involves building a mathematical model of your design, and then using formal proofs to see whether the design meets specific properties that you've written in PSL or SVA.
    In IFV there is no real notion of time - everything is done using mathematics and a "crank" which is like the clock of the registers.

    Although the two tools work differently under the hood, they both use the SimVision GUI as the front-end.
    This means that a designer who knows IUS feels instantly at home driving IFV. The same waveform window is used to show failing properties or to show coverage examples.

    Regards.
    Steve H.


    Originally posted in cdnusers.org by stephenh
Reply

  • Hi Davy.

    Excellent question! :-)
    Here's the very high level answer (ask your AE for a demo of IFV too!).

    IUS is the Incisive Unified Simulator (unified because all the languages are supported natively in the same simulation kernel).
    IUS deals with dynamic simulation, i.e. time advances as you simulate and you can run behavioural testbench or modelling code.

    IFV is the Incisive Formal Verifier tool. Formal analysis involves building a mathematical model of your design, and then using formal proofs to see whether the design meets specific properties that you've written in PSL or SVA.
    In IFV there is no real notion of time - everything is done using mathematics and a "crank" which is like the clock of the registers.

    Although the two tools work differently under the hood, they both use the SimVision GUI as the front-end.
    This means that a designer who knows IUS feels instantly at home driving IFV. The same waveform window is used to show failing properties or to show coverage examples.

    Regards.
    Steve H.


    Originally posted in cdnusers.org by stephenh
Children
No Data

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.