Verilog Model und QUCS Simulator?

Hallo,

nach einigen Anläufen auf meinem Mac habe ich nun ghdl und verilog mit 
einer GUI zum Laufen gebracht. Die Software ist von 
http://eng-osx.sourceforge.net/.

Also bin ich einen großen Schritt weiter gekommen (auf meinem Mac).

Das Beispiel (minirisc) in dem Ordner IVI/examples/verilog konnte ich 
erfolgreich simulieren und als Wave ansehen (wann welche Befehle 
ausgeführt wurden).

Nun frage ich mich, ob ich einen solchen Controller (PIC) auch in einer 
weiteren Software simulieren kann (z.B. mit LED's an den PortX Pins).

Es geht um QUCS von hier: http://qucs.sourceforge.net/

Die Verilog Datei konnte eingelesen werden und das Symbol wurde im 
Schaltplan auch angezeigt.
Nur von da an stehe ich im Wald.

Wer hat damit schon zu tun gehabt, oder sogar schon ein kleines Projekt?

Es gibt auch andere Simulatoren, die auch LCD Anzeigen simulieren. Gibt 
es da eine Integration von Verilog oder VHDL Dateien?

Ich bin an jeglicher Hilfe interessiert, die mich so weit bringt, dass 
ich einen PIC auf mein Avnet Xilinx Spartan 3 Evaluationsboard bekomme 
und das dan das macht was ich programmiert habe.

Ebenso bin ich dankbar für jede Hilfe :-)

Danke

Lothar