Design and Implementation of a PTX Emulation Library