Yo no tengo ni idea de emuladores especiales para emitir video a 15.7khz, pero me imagino que habrá pocos. Así que la mejor opción, como dices, pasa por usar la arcadevga.