Enviar Registro por Correo electrónico: Advanced symbolic analysis for VLSI systems :