GENVIEW: a portable source-level debugger for macrocell generators | IEEE Conference Publication | IEEE Xplore