Generation of Executable Representation for Processor Simulation with Dynamic Translation