In that case you often want a formal equivalence check to ma open-source-silicon.dev #vlsi101

In that case, you often want a formal equivalence ...

Matthew Guthaus

01/13/2021, 8:08 PM

In that case, you often want a formal equivalence check to make sure the designs are functionality the same