Weil ich selber mit was anderem beschäftigt bin fehlt mir die Zeit, den 4Bit Addierer genau anzusehen. Außerdem bin ich da auch kein Profi und müßte mich da auch recht reinknien.

LTSpice hab ich selbst in Gebrauch und ist für Deine Zwecke ganz sicher brauchbar.

Was ich noch nicht probiert habe ist dieser Simulator, den ich an Deiner Stelle auch mal probieren würde. Dazu gab es im RN positive Kritiken - soweit ich das in Erinnerung habe ...

http://www.draw2d.org/digitalsimulator/

Gruß
Searcher