.PS # Alogix.m4' log_init # A modest expression in default form A: Autologix( Nand(And(Or(A,C),Or(B,~C),Or(~A,B,C)),Ck); Nand(~A,B)@with .n at last [].s+(0,-2bp__)) move left 10bp__ from A.InCk "\sl Out1" at A.Out1 ljust "\sl Out2" at A.Out2 ljust foreach_(v_', "$v_$" at A.In'v_ above ', A,B,C,Ck) "\shortstack[l]{ \tt Autologix( \\ \tt \quad Nand(And(Or(A,C),Or(B,\~{}C),Or(\~{}A,B,C)),Ck);\\ \tt \quad Nand(\~{}A,B))@with .n at last [].s+(0,-2bp\_\_))}"'\ wid 288bp__ ht 32bp__ with .nw at A.sw+(0,-0.10) # Draw a tree of gates only. The ~ has been # replaced by NOT gates. definergbcolor(lightblue,0.72,0.72,0.9) G: Autologix(Or(And(B,Not(C)),And(Not(A),B,C)),N,shaded "lightblue") \ with .sw at A.e+(1.3,-0.5) "{\sl G.Out}" at G.Out above ljust "\shortstack[l]{\tt G: Autologix( \\ \tt \ Or(And(B,Not(C)),And(Not(A),B,C)),N,\\ \tt \ shaded \"lightblue\")}"' wid 242pt__ ht 20pt__ at G.s+(0,-0.3) for_(1,4,1,"{\sf\small\sl G.In'm4x}" at G.In'm4x rjust') "{\sf\small\sl G.In5}" at G.In5+(0,-1.5bp__) rjust # Here is how to include an arbitrary circuit # (an SR-flipflop, for example) # that is not one of the standard gates. # First, define the circuit with a name ending # in _gate. Put its inputs named In1, In2, ... # on the left and the output Out on the right. define(SR_gate',[ v = 2*L_unit S: NOR_gate line right_ 4*L_unit from S.Out Out: Here R: NOR_gate at S+(0,-10*L_unit) TS: S.In2-(v,0) TR: (TS,R.In1) dot(at S.Out+(v,0)) line down v*3/2 then to TR+(0,v) then to TR then to R.In1 line from R.Out right v then up v*3/2 then to TS+(0,-v) \ then to TS then to S.In2 In1: S.In1 In2: R.In2 ]') # Now define the function by which the circuit # will be invoked using the built-in _AutoGate: define(SRff',_AutoGate(SR,$@)') # You are done. Here is an example: G: [ F: Autologix(SRff(And(x,y),Nand(x,y)),LRV) "$x$" at F.Inx rjust "$y\$" at F.Iny rjust "\sl Out" at F.Out ljust ] with .sw at A.n+(0.5,-0.25) "{\tt Autologix(SRff(And(x,y),Nand(x,y)),LRV)}"' wid 253pt__ ht 7pt__ \ with .w at last [].sw+(0,-10pt__) undefine(extras') #efine(extras') ifdef(extras', Q1: Autologix(Nor(Nor(A,And(B,C)),Nand(Not(B),D))) \ with .nw at A.sw+(0,-61bp__) foreach_(x',"\sf x" at last [].In'x above',A,B,C,D) "\shortstack[l]{% \tt Q1: Autologix(Nor(Nor(A,And(B,C)),Nand(Not(B),D)),)\\ \tt Loopover\_(x',\"\sf x\" at last [].In'x above',A,B,C,D)}"' \ wid 350bp__ ht 20bp__ with .nw at Q1.sw+(0,-10pt__) Q2: Autologix(Nor(Nor(A,And(B,~C)),Nand(Not(B),D)),V) \ with .nw at last "".sw+(0,-14bp__) foreach_(x',"\sf x" at last [].In'x above',A,B,C,D) "\sf V" at last [].se above rjust Q3: Autologix(Nor(Nor(A,And(B,C)),Nand(Not(B),D)),R) \ with .nw at last [].sw+(0,-0.2) foreach_(x',"\sf x" at last [].In'x above',A,B,C,D) "\sf R" at last [].se above rjust Q4: Autologix(Nor(Nor(A,And(B,C)),Nand(Not(B),D)),RV) \ with .nw at last [].sw+(0,-0.2) foreach_(x',"\sf x" at last [].In'x above',A,B,C,D) "\sf RV" at last [].se above rjust Autologix(Nor(Nor(A,And(B,C)),Nand(Not(B),D)),LRV) \ with .Out at Q4.Out+(3.5,0) foreach_(x',"\sf x" at last [].In'x rjust',A,B,C,D) "\sf LRV" at last [].se above rjust Autologix(Nor(Nor(A,And(B,C)),Nand(Not(B),D)),LR;offset=-L_unit*1.5) \ with .Out at Q3.Out+(3.5,0) foreach_(x',"\sf x" at last [].In'x rjust',A,B,C,D) "\sf LR" at last [].se above rjust Autologix(Nor(Nor(A,And(B,~C)),Nand(Not(B),D)),LV;offset=L_unit*2) \ with .Out at Q2.Out+(3.5,0) foreach_(x',"\sf x" at last [].In'x rjust',A,B,C,D) "\sf LV" at last [].se above rjust Autologix(Nor(Nor(A,And(B,C)),Nand(Not(B),D)),L) \ with .Out at Q1.Out+(3.5,0) foreach_(x',"\sf x" at last [].In'x rjust',A,B,C,D) "\sf L" at last [].se above rjust ') .PE