Hardware designers and verification engineers have embraced the use of assertions. They are a way to formally specify a design's ...