A netlist pruning tool for an electronic system prototyping platform | IEEE Conference Publication | IEEE Xplore