[tools] 修正bug
[dpll] 初步实现