renamed because the "-" symbols is not allowed in module names
reorganized dpll.v