Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

Is Solidify an equivalence checker?

April 26, 2017checker equivalence solidify

0

Posted

Is Solidify an equivalence checker?

1 Answer

0

Posted

Solidify is not an equivalence checker, which just compares two versions of the same design. Solidify?s static functional verification ensures that a designers HDL code implements its functional specification i.e. it verifies that the golden RTL is correct.