The design of modern SOCs (systems on chips) requires increasingly thorough verification to ensure that manufacturers don’t spend millions on mask revisions when first silicon has problems. A widely ...