VERified asSEmbler