Formal analysis of hardware requirements