Schaltnetz überprüfen

[Bari (Gast)]

Hallo,

ich habe hier einige Schaltnetze (lediglich mit AND-, OR- und 
NOT-Gattern - dafür aber über 20), die ich gerne auf Korrektheit 
überprüfen möchte. Wie geht Ihr da vor? Für jedes Schaltnetz einen 
Boole'schen Ausdruck erstellen und dann Wertetabelle? Oder gibt es da 
hilfreiche Kniffe, die das vereinfachen bzw. zeitlich verkürzen?

Danke für Tipps!
Bari

[Frank E. (Firma: Q3) (qualidat)]

Mit der Software "Logisim" (free) kannst du deine Schaltung testen.

http://www.cburch.com/logisim/de/index.html

Etwas versteckt einthält sie auch eine Möglichkeit, anhand einer 
vorgegebenen Logiktabelle die optimierte Boolesche Funkuntion zu 
ermitteln und daraus wiederum eine Schalung zu synthetisieren ...

[Lothar M. (Firma: Titel) (lkmiller) (Moderator)]

Bari schrieb:
> ich habe hier einige Schaltnetze
> (lediglich mit AND-, OR- und NOT-Gattern - dafür aber über 20)
Wie viele Eingänge und Ausgänge haben diese Netze?

> ich habe hier einige Schaltnetze
> die ich gerne auf Korrektheit überprüfen möchte.
Das Schaltnetz, das du da hast, ist sicher "korrekt": es macht genau 
das, was diese Verschaltung von Gattern eben macht.

> die ich gerne auf Korrektheit überprüfen möchte.
Wie definierst du "Korrektheit"?
Hast du Testvektoren (z.B. eine Wertetabelle) als Referenz?

> ich habe hier einige Schaltnetze
Sind in den Netzen Rückkopplungen (= Latches, Speicherglieder)?

[Bari (Gast)]

Hallo Frank,

vielen Dank für Deine Antwort!

> Mit der Software "Logisim" (free) kannst du deine Schaltung testen.
>
> http://www.cburch.com/logisim/de/index.html

Die habe ich mir auch schon angeschaut, aber da müsste ich ja jede
Schaltung erst einmal selbst per Hand abzeichnen, d.h. in Logisim
übertragen - das ist ja auch ziemlich Zeitaufwändig?! Oder meinst Du das 
da anders?

LG
Bari

[Bari (Gast)]

Hallo Lothar!

Vielen Dank auch für Deine Antwort!

> Wie viele Eingänge und Ausgänge haben diese Netze?

In der Regel 3 Eingänge und 2 Ausgänge.

> Das Schaltnetz, das du da hast, ist sicher "korrekt": es macht genau
> das, was diese Verschaltung von Gattern eben macht.

Stimmt ;) War nicht präzise von mir ausgedrückt.

>> die ich gerne auf Korrektheit überprüfen möchte.
> Wie definierst du "Korrektheit"?
> Hast du Testvektoren (z.B. eine Wertetabelle) als Referenz?

Genau, ich habe eine Wertetabelle.

> Sind in den Netzen Rückkopplungen (= Latches, Speicherglieder)?
Nein, keine Rückkopplungen.

LG Bari

[Lothar M. (Firma: Titel) (lkmiller) (Moderator)]

Bari schrieb:
> da müsste ich ja jede Schaltung erst einmal selbst per Hand
> abzeichnen, d.h. in Logisim übertragen
Und der Test selber ist dann auch recht mühsam...

Bari schrieb:
> Wie geht Ihr da vor?
Ich würde das Ganze in VHDL simulieren: die Testvektoren in die 
Testbench eingeben und die (einfachen) Schaltungen in ein paar Zeilen 
VHDL beschreiben.
Das hilft dir jetzt aber nicht wirklich... ;-)