User defined coverage-a tool supported methodology for design verification