|
Anzeige
|
Schaltnetz überprüfen
Gast
#4246445
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 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 ... 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)?
Gast
#4246567
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
Gast
#4246573
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 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... ;-) Antwort schreibenBitte melde dich an, um einen Beitrag zu schreiben. |
Anzeige
|
