关键词：逆向工程；门级网表；形式化方法
摘 要：The report presents a systematic framework for automatically deriving high-level structures from the gate-level netlist of a digitial circuit and techniques And the author crafted a library ,leveraging formal verification techniques to further address the problem of a large implementation space per function, and recover structure from an unstructured netlist.