Gravar e-mail: Semi-formal specifications and formal verification improving the digital design: some statistics