Resulta que, revisando estos cores, me encuentro con que tienen una diferencia con respecto al resto, y es que tienen un reset externo en el pin 46 de la FPGA. Parece ser, que en ciertas ocasiones, si ese pin queda al aire, el core se resetea continuamente, de forma que no arrancan.
En ambos cores, se puede solucionar el problema, poniendo dicho pin a masa, con un cable en el bus de expansión, pero no me parece la forma más "elegante" de hacerlo.
En el core del BBC Micro, creo recordar haberlo solucionado cambiando en el archivo bbcmicro_zxuni_v3.ucf la línea
Código: Seleccionar todo
NET ERST LOC="P46" | IOSTANDARD=LVCMOS33; #Ext reset
Código: Seleccionar todo
NET ERST LOC="P46" | IOSTANDARD=LVCMOS33 | KEEPER = true; #Ext reset