summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/circuit-macros/examples/dpv/AlogixDPV.m4
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/circuit-macros/examples/dpv/AlogixDPV.m4')
-rw-r--r--Master/texmf-dist/doc/latex/circuit-macros/examples/dpv/AlogixDPV.m4116
1 files changed, 116 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/circuit-macros/examples/dpv/AlogixDPV.m4 b/Master/texmf-dist/doc/latex/circuit-macros/examples/dpv/AlogixDPV.m4
new file mode 100644
index 00000000000..68bcf53cedb
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/circuit-macros/examples/dpv/AlogixDPV.m4
@@ -0,0 +1,116 @@
+.PS
+# `AlogixDPV.m4'
+log_init(svg_font(sans-serif,10.5bp__))
+
+# 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__))
+ "svg_it(Out1)" at A.Out1 ljust
+ "svg_it(Out2)" at A.Out2 ljust
+ Loopover_(`v_', `"svg_it(v_)" at A.In`'v_ above ', A,B,C,Ck)
+ move left 0.2 from A.w
+ "svg_tt(`Autologix(')" wid 68bp__ with .w at A.sw+(0,-0.15)
+ "svg_tt(`Nand(And(Or(A,C),Or(B,~C),Or(~A,B,C)),Ck);')" \
+ wid 305bp__ with .w at last "".w+(0.2,-0.18)
+ "svg_tt(`Nand(~A,B)@with .n at last [].s+(0,-2bp__))')"\
+ wid 313bp__ with .w at last "".w+(0,-0.18)
+
+# Draw a tree of gates only. The ~ has been
+# replaced by NOT gates.
+B: Autologix(Or(And(B,Not(C)),And(Not(A),B,C)),N) \
+ with .sw at A.e+(1.3,-0.5)
+ "svg_it(Out)" at B.Out above ljust
+ "svg_tt(`Autologix(Or(And(B,Not(C)),')" wid 165bp__ \
+ with .w at B.sw+(-0.6,-0.15)
+ "svg_tt(`And(Not(A),B,C)),N)')" wid 122bp__ with .w at last "".w+(1.1,-0.18)
+ for_(1,4,1,`"svg_it(B.In`'m4x)" at B.In`'m4x rjust')
+ "svg_it(B.In5)" at B.In5+(0,-1.5bp__) rjust
+
+# Here is how to include an arbitrary circuit
+# that is not one of the standard gates.
+# First, define the circuit with a name ending
+# in _gate. Make sure its inputs are on the left
+# and named In1, In2, ... and the output Out
+# is on the right.
+define(`SR_gate',`[
+ S: NOR_gate
+ R: NOR_gate at S+(0,-L_unit*(AND_ht+4))
+ w = (S.Out.x-R.In1.x)/3
+ v = 2*L_unit
+ line right_ dimen_/2 from S.Out
+ Out: Here
+ TR: R.In1-(v,0)
+ line from S.Out+(v,0) down w*3/2 then left S.Out.x-TR.x+v down w \
+ then to TR then to R.In1
+ TS: S.In2-(v,0);
+ line from R.Out right v then up w*3/2 then left R.Out.x-TS.x+v up w \
+ then to TS then to S.In2
+ In1: S.In1
+ In2: R.In2 ]')
+# Now define the function by which the circuit
+# will be invoked:
+define(`SRff',`_AutoGate(SR,$@)')
+
+# You are done. Here is an example:
+G: [
+ F: Autologix(SRff(And(x,y),Nand(x,y)),LRV)
+
+ "svg_it(x)" at F.Inx rjust
+ "svg_it(y)" at F.Iny rjust
+ "svg_it(Out)" at F.Out ljust
+ ] with .sw at A.n+(0.5,-0.25)
+ "svg_tt(`Autologix(SRff(And(x,y),Nand(x,y)),LRV)')" wid 285pt__ \
+ with .w at last [].sw+(0,-10pt__)
+
+undefine(`extras')
+define(`extras')
+
+ifdef(`extras',`
+ Q1: Autologix(Nor(Nor(A,And(B,C)),Nand(Not(B),D))) \
+ with .nw at A.sw+(0,-61bp__)
+ Loopover_(`x',`"x" wid 7bp__ at last [].In`'x above',A,B,C,D)
+
+ "svg_tt(`Q1: Autologix(Nor(Nor(A,And(B,C)),Nand(Not(B),D)),options)')" \
+ wid 363bp__ with .nw at Q1.sw+(0,-10bp__)
+ "svg_tt(`Loopover_(`x',`\"svg_it(x)\" at last [].In`'x above',A,B,C,D)')" \
+ wid 431bp__ with .nw at last "".sw+(0,-5bp__)
+
+ Q2: Autologix(Nor(Nor(A,And(B,~C)),Nand(Not(B),D)),V) \
+ with .nw at last "".sw+(0,-16bp__)
+ Loopover_(`x',`"x" at last [].In`'x above',A,B,C,D)
+ "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)
+ Loopover_(`x',`"x" at last [].In`'x above',A,B,C,D)
+ "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)
+ Loopover_(`x',`"x" at last [].In`'x above',A,B,C,D)
+ "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)
+ Loopover_(`x',`"x" at last [].In`'x rjust',A,B,C,D)
+ "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)
+ Loopover_(`x',`"x" at last [].In`'x rjust',A,B,C,D)
+ "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)
+ Loopover_(`x',`"x" at last [].In`'x rjust',A,B,C,D)
+ "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)
+ Loopover_(`x',`"x" at last [].In`'x rjust',A,B,C,D)
+ "L" at last [].se above rjust
+')
+
+ command "</g>" # end font
+.PE