software für digitale simulation

Gibt es eine vernünftige (gratis ggg) SW mit der man digitale 
Schaltungen simulieren kann ? Es ist eher für Lehrzwecke, daher geht es 
nicht um Bausteinbibliotheken. Aber es sollten schon die gängigen 
Gattertypen, Flipfloptypen, vernünftige Verbindungen, Ports, etc dabei 
sein.

Ich habe einen "DigitalSimulator" gefunden. Der ist zwar recht niedlich, 
für praktische Aspekte aber total unbrauchbar.

Ich glaube zwar, dass es sowas gratis sowieso nicht gibt, frage aber 
trotzdem mal...

Danke
Michi