Symbolic Simulation - who's using it?

[simguru]

I remember sitting through presentations a few years ago on Innologic's symbolic simulation tools, and it struck me as a very useful semi-formal method for verifying logic.

I wanted to try it on NoC testing since the conditions for correct behavior are fairly easy to identify (i.e. don't lose/corrupt the data). Also I remember wasting a lot of time running simulations at Altera testing small design configurations to verify the tools, which would have been easier to do with formal techniques (and possibly more convincing).

Is anyone using symbolic simulation tools, and how well do they work?

[daniel_payne]

Yes, Blue Pearl Software uses symbolic simulation. Here's a white paper that I ghost wrote last year.

[kaaliakahn]

daniel,

The above link does not work. I had to google it manually.

The paper is excellent. I am looking for more use cases of symbolic simulation such as verifying datapaths such as multipliers and arithmetic blocks.
Do you know any such cases?

Thanks

[daniel_payne]

They changed their domain name, so the link is now at: Symbolic simulation speeds timing closure | EDA

daniel,

The above link does not work. I had to google it manually.

The paper is excellent. I am looking for more use cases of symbolic simulation such as verifying datapaths such as multipliers and arithmetic blocks.
Do you know any such cases?

Thanks

[kaaliakahn]

I am looking for more use cases of symbolic simulation such as verifying datapaths such as multipliers and arithmetic blocks.

Anybody wants to share?

Thanks