Metodos Formais Aplicado Ao Projeto de Hardware Conceito