Spice Simulation von FPGA, CPLD und Mikrocontrollerschaltungen

Hallo,

kann mir jemand ein Programm empfehlen mit dem es möglich ist 
Schaltungen die FPGA’s und Mikrocontroller beinhalten zu simulieren. Ich 
kenne schon Proteus, dieses Programm hat aber lediglich eine 
Mikrocontroller - Simulation und ist was den Umfang der Schaltung angeht 
doch sehr beschränkt, ich würde aber im Notfall dabei bleiben wollen.

Besteht bei Proteus evtl. die Möglichkeit weitere FPGA Bibliotheken 
einzubinden?

Gruß
Maciek