I’m currently in the process of building and verifying several AXI cores, primarily for the purpose of proving that my AXI formal Verification IP core works. Some examples of these cores include: Most of these cores have already passed a formal verification check.

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.