Recent standards for assertions and newer verification methodologies have eased the designer's ability to create, implement and monitor assertions. The use of assertions in formal, simulation and ...