Design and implementation of a novel gate-level to behavior-level netlist conversion tool - Ren, Ye (2014)
94 p.