PSL

As designs get larger and stress the ability of simulation to exercise an SoC, formal techniques have become essential parts of design and verification.

More than half of design companies claim to use ABV but many have yet to deploy full methodologies.