Specification Of Hardware Safety Requirements