Nachtrag Vorlesung (08.06.2004) - Testdatengenerierung

(Vereinfachte) Spezifikation von PLS

((c1 || c2) && fsb && !rts)
|| (!c1 && !c2 && (fs || (fsa && ldg)) && fsb && rts)
|| (!c1 && !c2 && !fs && (!fsa || !ldg) && !fsb && !rts)

Primimplikantendarstellung

c1 && fsb && !rts
|| c2 && fsb && !rts
|| !c1 && !c2 && fs && fsb && rts
|| !c1 && !c2 && fsa && ldg && fsb && rts
|| !c1 && !c2 && !fs && !fsa && !fsb && !rts
|| !c1 && !c2 && !fs && !ldg && !fsb && !rts

Eingabevektoren, passend zu Primimplikanten

Darstellung (Inputs):
43210
c1c2fsfsaldg

Darstellung (Outputs):
10
fsbrts

Zuordnung:
PrimimplikantInputs aus Primimplikantkompletter Vektorerwartete Outputs
c1 && fsb && !rts1xxxx1011110
c2 && fsb && !rtsx1xxx0111010
!c1 && !c2 && fs && fsb && rts001xx0010111
!c1 && !c2 && fsa && ldg && fsb && rts00x110011111
!c1 && !c2 && !fs && !fsa && !fsb && !rts0000x0000000
!c1 && !c2 && !fs && !ldg && !fsb && !rts000x00000000

Sequenz:
00101 00000 00111 00000 01110 10111


Last modified: June 22, 2004 14:22:01 (GMT+2)
Stefan Bisanz stefan@bisanz-online.de