Si, el mismo winsim la simula pero estás limitado a solo una GAL, no podés interconectarlo con tu circuito completo.
Si usas más de una GAL o tenés un circuito más complejo (por ejemplo, no combinacional) es mucho más sencillo utilizar el Proteus.
Saludos,
Gonzalo