klemek/CompuLogic
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gate definitions refactoring

Browse Source
This commit is contained in:
klemek
2020-12-17 19:26:11 +01:00
parent 0ea30c4829
commit 9ea26d2563
7 changed files with 338 additions and 597 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Assets/Scenes/Workspace.unity
-277
View File
File diff suppressed because one or more lines are too long
Assets/Scripts/Utils.cs
+2
View File
@@ -23,6 +23,8 @@ namespace UntitledLogicGame
public static bool[][] AllBoolArrayValues(int length) public static bool[][] AllBoolArrayValues(int length)
{ {
if (length == 0)
return new bool[0][];
var count = (int)Math.Pow(2, length); var count = (int)Math.Pow(2, length);
return new ArrayList[count].Select((v, i) => i.ToBoolArray(length)).ToArray(); return new ArrayList[count].Select((v, i) => i.ToBoolArray(length)).ToArray();
} }
Assets/Scripts/Workspace/Gates/GateDefinition.cs
+110 -104
View File
@@ -4,118 +4,124 @@ using System.Linq;
namespace UntitledLogicGame.Workspace.Gates namespace UntitledLogicGame.Workspace.Gates
{ {
public abstract class GateDefinition public abstract class GateDefinition
{ {
private static Dictionary<GateType, GateDefinition> Definitions; // Static properties
internal static Dictionary<InputState, OutputState> EmptyTruthTable = new Dictionary<InputState, OutputState>(); private static Dictionary<GateType, GateDefinition> Definitions;
public abstract string[] Inputs { get; }
public abstract string[] Outputs { get; }
internal abstract Dictionary<InputState, OutputState> TruthTable { get; }
public string Name { get; internal set; }
public bool HasState => false;
public GateDefinition New => (GateDefinition)GetType().GetConstructor(new Type[0]).Invoke(new object[0]);
private static void LoadAll() // Public properties
{ public string Name { get; internal set; }
Definitions = new Dictionary<GateType, GateDefinition>(); public bool HasState => false;
foreach (var gateType in Enum.GetValues(typeof(GateType)).Cast<GateType>()) public Dictionary<InputState, OutputState> TruthTable { get; private set; } = new Dictionary<InputState, OutputState>();
{
try
{
var t = Type.GetType($"{typeof(GateDefinition).Namespace}.{gateType}Gate", true);
Definitions[gateType] = (GateDefinition)t.GetConstructor(new Type[0]).Invoke(new object[0]);
Definitions[gateType].Name = gateType.ToString();
}
catch
{
Definitions[gateType] = (GateDefinition)typeof(NoneGate).GetConstructor(new Type[0]).Invoke(new object[0]);
Definitions[gateType].Name = gateType.ToString();
}
}
}
public static GateDefinition Get(GateType gateType, Gate gate) // Herited properties
{ public abstract string[] Inputs { get; }
if (Definitions == null) public abstract string[] Outputs { get; }
LoadAll(); internal abstract Func<InputState, OutputState> Function { get; }
var definition = Definitions[gateType]; // Private properties
private GateDefinition New => (GateDefinition)GetType().GetConstructor(new Type[0]).Invoke(new object[0]);
foreach (var inputName in definition.Inputs) private static void LoadAll()
{ {
if(!gate.InputAnchors.Any(a => a.Name.Equals(inputName))) Definitions = new Dictionary<GateType, GateDefinition>();
throw new InvalidOperationException($"Gate has no {inputName} input anchor"); foreach (var gateType in Enum.GetValues(typeof(GateType)).Cast<GateType>())
} {
try
{
var t = Type.GetType($"{typeof(GateDefinition).Namespace}.{gateType}Gate", true);
Definitions[gateType] = (GateDefinition)t.GetConstructor(new Type[0]).Invoke(new object[0]);
Definitions[gateType].Name = gateType.ToString();
}
catch
{
Definitions[gateType] = (GateDefinition)typeof(NoneGate).GetConstructor(new Type[0]).Invoke(new object[0]);
Definitions[gateType].Name = gateType.ToString();
}
}
}
foreach (var outputName in definition.Outputs) public static GateDefinition Get(GateType gateType, Gate gate)
{ {
if (!gate.OutputAnchors.Any(a => a.Name.Equals(outputName))) if (Definitions == null)
throw new InvalidOperationException($"Gate has no {outputName} output anchor"); LoadAll();
}
if (definition.HasState) var definition = Definitions[gateType];
return definition.New;
else
return definition;
}
internal GateDefinition() foreach (var inputName in definition.Inputs)
{ {
if (!HasState) if (!gate.InputAnchors.Any(a => a.Name.Equals(inputName)))
{ throw new InvalidOperationException($"Gate has no {inputName} input anchor");
if (TruthTable.Count > 0) }
{
foreach (var key in TruthTable.Keys)
{
if (key.Length != Inputs.Length)
throw new InvalidOperationException($"{GetType()} invalid inputs ({key})");
}
if (Inputs.Length != 0)
{
foreach (var key in Utils.AllBoolArrayValues(Inputs.Length).Select(b => new InputState(b)))
{
if (!TruthTable.Keys.Contains(key))
throw new InvalidOperationException($"{GetType()} no outputs for ({key})");
var values = TruthTable[key];
if (values.Length != Outputs.Length)
throw new InvalidOperationException($"{GetType()} invalid outputs for ({key})");
}
}
}
}
else
{
// Only test basic value
var sample = new InputState(Inputs.Length);
var output = Compute(sample);
if(output.Length != Outputs.Length)
throw new InvalidOperationException($"{GetType()} invalid outputs for sample ({sample})");
}
}
public bool[] GetState(Gate gate) foreach (var outputName in definition.Outputs)
{ {
return Inputs.Select(i => gate.InputAnchors.First(a => a.Name.Equals(i)).Activated).ToArray(); if (!gate.OutputAnchors.Any(a => a.Name.Equals(outputName)))
} throw new InvalidOperationException($"Gate has no {outputName} output anchor");
}
public void Compute(Gate gate) if (definition.HasState)
{ return definition.New;
var input = new InputState(GetState(gate)); else
var output = Compute(input); return definition;
foreach (var outputAnchor in Outputs.Select((name, i) => new { i, name })) }
gate.OutputAnchors.First(a => a.Name.Equals(outputAnchor.name)).Activated = output[outputAnchor.i];
}
internal OutputState Compute(InputState input) internal GateDefinition()
{ {
if (TruthTable.Count > 0) if (!HasState)
{ {
return TruthTable[input]; CreateTruthTable(Function);
} if (TruthTable.Count > 0)
else {
{ foreach (var key in TruthTable.Keys)
return new OutputState(0); {
} if (key.Length != Inputs.Length)
} throw new InvalidOperationException($"{GetType()} invalid inputs ({key})");
} }
if (Inputs.Length != 0)
{
foreach (var key in Utils.AllBoolArrayValues(Inputs.Length).Select(b => new InputState(b)))
{
if (!TruthTable.Keys.Contains(key))
throw new InvalidOperationException($"{GetType()} no outputs for ({key})");
var values = TruthTable[key];
if (values.Length != Outputs.Length)
throw new InvalidOperationException($"{GetType()} invalid outputs for ({key})");
}
}
}
}
else
{
// Only test basic value
var sample = new InputState(Inputs.Length);
var output = Function(sample);
if (output.Length != Outputs.Length)
throw new InvalidOperationException($"{GetType()} invalid outputs for sample ({sample})");
}
}
public bool[] GetState(Gate gate)
{
return Inputs.Select(i => gate.InputAnchors.First(a => a.Name.Equals(i)).Activated).ToArray();
}
public void Compute(Gate gate)
{
var input = new InputState(GetState(gate));
var output = HasState ? Function(input) : (TruthTable.Count > 0 ? TruthTable[input] : new OutputState(0));
foreach (var outputAnchor in Outputs.Select((name, i) => new { i, name }))
gate.OutputAnchors.First(a => a.Name.Equals(outputAnchor.name)).Activated = output[outputAnchor.i];
}
private void CreateTruthTable(Func<InputState, OutputState> function)
{
TruthTable = Utils.AllBoolArrayValues(Inputs.Length).ToDictionary(key => new InputState(key), key => function(new InputState(key)));
}
}
internal abstract class StateGateDefinition : GateDefinition
{
public new bool HasState => true;
}
} }
Assets/Scripts/Workspace/Gates/GateDefinitionList.cs
+208 -201
View File
@@ -1,4 +1,5 @@
using System.Collections.Generic; using System;
using System.Collections.Generic;
namespace UntitledLogicGame.Workspace.Gates namespace UntitledLogicGame.Workspace.Gates
{ {
@@ -8,7 +9,8 @@ namespace UntitledLogicGame.Workspace.Gates
{ {
public override string[] Inputs { get; } = new string[] { }; public override string[] Inputs { get; } = new string[] { };
public override string[] Outputs { get; } = new string[] { }; public override string[] Outputs { get; } = new string[] { };
internal override Dictionary<InputState, OutputState> TruthTable => EmptyTruthTable;
internal override Func<InputState, OutputState> Function => (input) => new OutputState(0);
} }
#endregion #endregion
@@ -23,50 +25,32 @@ namespace UntitledLogicGame.Workspace.Gates
{ {
public override string[] Inputs { get; } = new string[] { "A" }; public override string[] Inputs { get; } = new string[] { "A" };
public override string[] Outputs { get; } = new string[] { "Q" }; public override string[] Outputs { get; } = new string[] { "Q" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
{ internal override Func<InputState, OutputState> Function => (input) => new OutputState(input[0]);
{ new InputState( false ), new OutputState( false ) },
{ new InputState( true ), new OutputState( true ) },
};
} }
internal class ANDGate : GateDefinition internal class ANDGate : GateDefinition
{ {
public override string[] Inputs { get; } = new string[] { "A", "B" }; public override string[] Inputs { get; } = new string[] { "A", "B" };
public override string[] Outputs { get; } = new string[] { "Q" }; public override string[] Outputs { get; } = new string[] { "Q" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
{ internal override Func<InputState, OutputState> Function => (input) => new OutputState(input[0] && input[1]);
{ new InputState( false, false ), new OutputState( false ) },
{ new InputState( false, true ), new OutputState( false ) },
{ new InputState( true, false ), new OutputState( false ) },
{ new InputState( true, true ), new OutputState( true ) },
};
} }
internal class ORGate : GateDefinition internal class ORGate : GateDefinition
{ {
public override string[] Inputs { get; } = new string[] { "A", "B" }; public override string[] Inputs { get; } = new string[] { "A", "B" };
public override string[] Outputs { get; } = new string[] { "Q" }; public override string[] Outputs { get; } = new string[] { "Q" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
{ internal override Func<InputState, OutputState> Function => (input) => new OutputState(input[0] || input[1]);
{ new InputState( false, false ), new OutputState( false ) },
{ new InputState( false, true ), new OutputState( true ) },
{ new InputState( true, false ), new OutputState( true ) },
{ new InputState( true, true ), new OutputState( true ) },
};
} }
internal class XORGate : GateDefinition internal class XORGate : GateDefinition
{ {
public override string[] Inputs { get; } = new string[] { "A", "B" }; public override string[] Inputs { get; } = new string[] { "A", "B" };
public override string[] Outputs { get; } = new string[] { "Q" }; public override string[] Outputs { get; } = new string[] { "Q" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
{ internal override Func<InputState, OutputState> Function => (input) => new OutputState(input[0] ^ input[1]);
{ new InputState( false, false ), new OutputState( false ) },
{ new InputState( false, true ), new OutputState( true ) },
{ new InputState( true, false ), new OutputState( true ) },
{ new InputState( true, true ), new OutputState( false ) },
};
} }
#endregion #endregion
@@ -77,67 +61,47 @@ namespace UntitledLogicGame.Workspace.Gates
{ {
public override string[] Inputs { get; } = new string[] { "A" }; public override string[] Inputs { get; } = new string[] { "A" };
public override string[] Outputs { get; } = new string[] { "Q" }; public override string[] Outputs { get; } = new string[] { "Q" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
{ internal override Func<InputState, OutputState> Function => (input) => new OutputState(!input[0]);
{ new InputState( false ), new OutputState( true ) },
{ new InputState( true ), new OutputState( false ) },
};
} }
internal class NANDGate : GateDefinition internal class NANDGate : GateDefinition
{ {
public override string[] Inputs { get; } = new string[] { "A", "B" }; public override string[] Inputs { get; } = new string[] { "A", "B" };
public override string[] Outputs { get; } = new string[] { "Q" }; public override string[] Outputs { get; } = new string[] { "Q" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
{ internal override Func<InputState, OutputState> Function => (input) => new OutputState(!(input[0] && input[1]));
{ new InputState( false, false ), new OutputState( true ) },
{ new InputState( false, true ), new OutputState( true ) },
{ new InputState( true, false ), new OutputState( true ) },
{ new InputState( true, true ), new OutputState( false ) },
};
} }
internal class NORGate : GateDefinition internal class NORGate : GateDefinition
{ {
public override string[] Inputs { get; } = new string[] { "A", "B" }; public override string[] Inputs { get; } = new string[] { "A", "B" };
public override string[] Outputs { get; } = new string[] { "Q" }; public override string[] Outputs { get; } = new string[] { "Q" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
{ internal override Func<InputState, OutputState> Function => (input) => new OutputState(!(input[0] || input[1]));
{ new InputState( false, false ), new OutputState( true ) },
{ new InputState( false, true ), new OutputState( false ) },
{ new InputState( true, false ), new OutputState( false ) },
{ new InputState( true, true ), new OutputState( false ) },
};
} }
internal class XNORGate : GateDefinition internal class XNORGate : GateDefinition
{ {
public override string[] Inputs { get; } = new string[] { "A", "B" }; public override string[] Inputs { get; } = new string[] { "A", "B" };
public override string[] Outputs { get; } = new string[] { "Q" }; public override string[] Outputs { get; } = new string[] { "Q" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
{ internal override Func<InputState, OutputState> Function => (input) => new OutputState(!(input[0] ^ input[1]));
{ new InputState( false, false ), new OutputState( true ) },
{ new InputState( false, true ), new OutputState( false ) },
{ new InputState( true, false ), new OutputState( false ) },
{ new InputState( true, true ), new OutputState( true ) },
};
} }
#endregion #endregion
#region 400 - Latches #region 400 - Latches
internal class SRLatchGate : GateDefinition internal class SRLatchGate : StateGateDefinition
{ {
public new string Name => "SR Latch";
public override string[] Inputs { get; } = new string[] { "S", "R" }; public override string[] Inputs { get; } = new string[] { "S", "R" };
public override string[] Outputs { get; } = new string[] { "Q", "Q̅" }; public override string[] Outputs { get; } = new string[] { "Q", "Q̅" };
internal override Dictionary<InputState, OutputState> TruthTable => EmptyTruthTable;
public new string Name => "SR Latch";
public new bool HasState => true;
private bool _q; private bool _q;
internal new OutputState Compute(InputState input) internal override Func<InputState, OutputState> Function => (input) =>
{ {
var s = input[0]; var s = input[0];
var r = input[1]; var r = input[1];
@@ -146,20 +110,18 @@ namespace UntitledLogicGame.Workspace.Gates
else if (s) // set else if (s) // set
_q = true; _q = true;
return new OutputState(_q, !_q); return new OutputState(_q, !_q);
} };
} }
internal class JKLatchGate : GateDefinition internal class JKLatchGate : StateGateDefinition
{ {
public new string Name => "JK Latch";
public override string[] Inputs { get; } = new string[] { "J", "K" }; public override string[] Inputs { get; } = new string[] { "J", "K" };
public override string[] Outputs { get; } = new string[] { "Q", "Q̅" }; public override string[] Outputs { get; } = new string[] { "Q", "Q̅" };
internal override Dictionary<InputState, OutputState> TruthTable => EmptyTruthTable;
public new string Name => "JK Latch";
public new bool HasState => true;
private bool _q; private bool _q;
internal new OutputState Compute(InputState input) internal override Func<InputState, OutputState> Function => (input) =>
{ {
var j = input[0]; var j = input[0];
var k = input[1]; var k = input[1];
@@ -170,45 +132,41 @@ namespace UntitledLogicGame.Workspace.Gates
else if (j) // set else if (j) // set
_q = true; _q = true;
return new OutputState(_q, !_q); return new OutputState(_q, !_q);
} };
} }
internal class DLatchGate : GateDefinition internal class DLatchGate : StateGateDefinition
{ {
public new string Name => "D Latch";
public override string[] Inputs { get; } = new string[] { "D", "E" }; public override string[] Inputs { get; } = new string[] { "D", "E" };
public override string[] Outputs { get; } = new string[] { "Q", "Q̅" }; public override string[] Outputs { get; } = new string[] { "Q", "Q̅" };
internal override Dictionary<InputState, OutputState> TruthTable => EmptyTruthTable;
public new string Name => "D Latch";
public new bool HasState => true;
private bool _q; private bool _q;
internal new OutputState Compute(InputState input) internal override Func<InputState, OutputState> Function => (input) =>
{ {
var d = input[0]; var d = input[0];
var e = input[1]; var e = input[1];
if (e) // set if (e) // set
_q = d; _q = d;
return new OutputState(_q, !_q); return new OutputState(_q, !_q);
} };
} }
#endregion #endregion
#region 500 - Flip-Flops #region 500 - Flip-Flops
internal class SRFlipFlopGate : GateDefinition internal class SRFlipFlopGate : StateGateDefinition
{ {
public new string Name => "SR Flip-Flop";
public override string[] Inputs { get; } = new string[] { "CLK", "S", "R" }; public override string[] Inputs { get; } = new string[] { "CLK", "S", "R" };
public override string[] Outputs { get; } = new string[] { "Q", "Q̅" }; public override string[] Outputs { get; } = new string[] { "Q", "Q̅" };
internal override Dictionary<InputState, OutputState> TruthTable => EmptyTruthTable;
public new string Name => "SR Flip-Flop";
public new bool HasState => true;
private bool _q; private bool _q;
private bool _lastClk; private bool _lastClk;
internal new OutputState Compute(InputState input) internal override Func<InputState, OutputState> Function => (input) =>
{ {
var clk = input[0]; var clk = input[0];
var s = input[1]; var s = input[1];
@@ -220,21 +178,19 @@ namespace UntitledLogicGame.Workspace.Gates
_q = true; _q = true;
_lastClk = clk; _lastClk = clk;
return new OutputState(_q, !_q); return new OutputState(_q, !_q);
} };
} }
internal class JKFlipFlopGate : GateDefinition internal class JKFlipFlopGate : StateGateDefinition
{ {
public new string Name => "JK Flip-Flop";
public override string[] Inputs { get; } = new string[] { "CLK", "J", "K" }; public override string[] Inputs { get; } = new string[] { "CLK", "J", "K" };
public override string[] Outputs { get; } = new string[] { "Q", "Q̅" }; public override string[] Outputs { get; } = new string[] { "Q", "Q̅" };
internal override Dictionary<InputState, OutputState> TruthTable => EmptyTruthTable;
public new string Name => "JK Flip-Flop";
public new bool HasState => true;
private bool _q; private bool _q;
private bool _lastClk; private bool _lastClk;
internal new OutputState Compute(InputState input) internal override Func<InputState, OutputState> Function => (input) =>
{ {
var clk = input[0]; var clk = input[0];
var j = input[1]; var j = input[1];
@@ -248,21 +204,19 @@ namespace UntitledLogicGame.Workspace.Gates
_q = true; _q = true;
_lastClk = clk; _lastClk = clk;
return new OutputState(_q, !_q); return new OutputState(_q, !_q);
} };
} }
internal class DFlipFlopGate : GateDefinition internal class DFlipFlopGate : StateGateDefinition
{ {
public new string Name => "D Flip-Flop";
public override string[] Inputs { get; } = new string[] { "CLK", "D" }; public override string[] Inputs { get; } = new string[] { "CLK", "D" };
public override string[] Outputs { get; } = new string[] { "Q", "Q̅" }; public override string[] Outputs { get; } = new string[] { "Q", "Q̅" };
internal override Dictionary<InputState, OutputState> TruthTable => EmptyTruthTable;
public new string Name => "D Flip-Flop";
public new bool HasState => true;
private bool _q; private bool _q;
private bool _lastClk; private bool _lastClk;
internal new OutputState Compute(InputState input) internal override Func<InputState, OutputState> Function => (input) =>
{ {
var clk = input[0]; var clk = input[0];
var d = input[1]; var d = input[1];
@@ -270,21 +224,19 @@ namespace UntitledLogicGame.Workspace.Gates
_q = d; _q = d;
_lastClk = clk; _lastClk = clk;
return new OutputState(_q, !_q); return new OutputState(_q, !_q);
} };
} }
internal class TFlipFlopGate : GateDefinition internal class TFlipFlopGate : StateGateDefinition
{ {
public new string Name => "T Flip-Flop";
public override string[] Inputs { get; } = new string[] { "CLK", "T" }; public override string[] Inputs { get; } = new string[] { "CLK", "T" };
public override string[] Outputs { get; } = new string[] { "Q", "Q̅" }; public override string[] Outputs { get; } = new string[] { "Q", "Q̅" };
internal override Dictionary<InputState, OutputState> TruthTable => EmptyTruthTable;
public new string Name => "T Flip-Flop";
public new bool HasState => true;
private bool _q; private bool _q;
private bool _lastClk; private bool _lastClk;
internal new OutputState Compute(InputState input) internal override Func<InputState, OutputState> Function => (input) =>
{ {
var clk = input[0]; var clk = input[0];
var t = input[1]; var t = input[1];
@@ -293,99 +245,108 @@ namespace UntitledLogicGame.Workspace.Gates
_q = !_q; _q = !_q;
_lastClk = clk; _lastClk = clk;
return new OutputState(_q, !_q); return new OutputState(_q, !_q);
} };
} }
#endregion #endregion
#region 600 - Combinational #region 600 - Arithmetic
internal class HalfAddGate : GateDefinition internal class HalfAddGate : GateDefinition
{ {
public new string Name => "Half Add.";
public override string[] Inputs { get; } = new string[] { "A", "B" }; public override string[] Inputs { get; } = new string[] { "A", "B" };
public override string[] Outputs { get; } = new string[] { "S", "C" }; public override string[] Outputs { get; } = new string[] { "S", "C" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
internal override Func<InputState, OutputState> Function => (input) =>
{ {
{ new InputState( false, false ), new OutputState( false, false ) }, var a = input[0];
{ new InputState( false, true ), new OutputState( true, false ) }, var b = input[1];
{ new InputState( true, false ), new OutputState( true, false ) },
{ new InputState( true, true ), new OutputState( false, true ) }, var s = a || b;
var c = a && b;
return new OutputState(s, c);
}; };
public new string Name => "Half Add.";
} }
internal class FullAddGate : GateDefinition internal class FullAddGate : GateDefinition
{ {
public new string Name => "Full Add.";
public override string[] Inputs { get; } = new string[] { "A", "B", "Cɪ" }; public override string[] Inputs { get; } = new string[] { "A", "B", "Cɪ" };
public override string[] Outputs { get; } = new string[] { "S", "Cᴏ" }; public override string[] Outputs { get; } = new string[] { "S", "Cᴏ" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
internal override Func<InputState, OutputState> Function => (input) =>
{ {
{ new InputState( false, false, false ), new OutputState( false, false ) }, var a = input[0];
{ new InputState( false, false, true ), new OutputState( true, false ) }, var b = input[1];
{ new InputState( false, true, false ), new OutputState( true, false ) }, var ci = input[2];
{ new InputState( false, true, true ), new OutputState( false, true ) },
{ new InputState( true, false, false ), new OutputState( true, false ) }, var s = a || b || ci;
{ new InputState( true, false, true ), new OutputState( false, true ) }, var co = a && b || a && ci || b && ci;
{ new InputState( true, true, false ), new OutputState( false, true ) },
{ new InputState( true, true, true ), new OutputState( true, true ) }, return new OutputState(s, co);
}; };
public new string Name => "Full Add.";
} }
internal class HalfSubGate : GateDefinition internal class HalfSubGate : GateDefinition
{ {
public new string Name => "Half Sub.";
public override string[] Inputs { get; } = new string[] { "A", "B" }; public override string[] Inputs { get; } = new string[] { "A", "B" };
public override string[] Outputs { get; } = new string[] { "S", "C" }; public override string[] Outputs { get; } = new string[] { "S", "C" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
internal override Func<InputState, OutputState> Function => (input) =>
{ {
{ new InputState( false, false ), new OutputState( false, false ) }, var a = input[0];
{ new InputState( false, true ), new OutputState( true, true ) }, var b = input[1];
{ new InputState( true, false ), new OutputState( true, false ) },
{ new InputState( true, true ), new OutputState( false, false ) }, var s = a || b;
var c = !a && b;
return new OutputState(s, c);
}; };
public new string Name => "Half Sub.";
} }
internal class FullSubGate : GateDefinition internal class FullSubGate : GateDefinition
{ {
public new string Name => "Full Add.";
public override string[] Inputs { get; } = new string[] { "A", "B", "Cɪ" }; public override string[] Inputs { get; } = new string[] { "A", "B", "Cɪ" };
public override string[] Outputs { get; } = new string[] { "S", "Cᴏ" }; public override string[] Outputs { get; } = new string[] { "S", "Cᴏ" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
internal override Func<InputState, OutputState> Function => (input) =>
{ {
{ new InputState( false, false, false ), new OutputState( false, false ) }, var a = input[0];
{ new InputState( false, false, true ), new OutputState( true, true ) }, var b = input[1];
{ new InputState( false, true, false ), new OutputState( true, true ) }, var ci = input[2];
{ new InputState( false, true, true ), new OutputState( false, true ) },
{ new InputState( true, false, false ), new OutputState( true, false ) }, var s = a || b || ci;
{ new InputState( true, false, true ), new OutputState( false, false ) }, var co = a && !b || a && !ci || b && ci;
{ new InputState( true, true, false ), new OutputState( false, false ) },
{ new InputState( true, true, true ), new OutputState( true, true ) }, return new OutputState(s, co);
}; };
public new string Name => "Full Add.";
} }
#endregion
#region 700 - Data
internal class MuxGate : GateDefinition internal class MuxGate : GateDefinition
{ {
public override string[] Inputs { get; } = new string[] { "E", "S", "D₀", "D₁" }; public override string[] Inputs { get; } = new string[] { "E", "S", "D₀", "D₁" };
public override string[] Outputs { get; } = new string[] { "Y" }; public override string[] Outputs { get; } = new string[] { "Y" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
internal override Func<InputState, OutputState> Function => (input) =>
{ {
{ new InputState( false, false, false, false ), new OutputState( false ) }, // => E=0 var e = input[0];
{ new InputState( false, false, false, true ), new OutputState( false ) }, // => E=0 var s = input[1];
{ new InputState( false, false, true, false ), new OutputState( false ) }, // => E=0 var d0 = input[2];
{ new InputState( false, false, true, true ), new OutputState( false ) }, // => E=0 var d1 = input[3];
{ new InputState( false, true, false, false ), new OutputState( false ) }, // => E=0
{ new InputState( false, true, false, true ), new OutputState( false ) }, // => E=0 var y = e && (!s && d0 || s && d1);
{ new InputState( false, true, true, false ), new OutputState( false ) }, // => E=0
{ new InputState( false, true, true, true ), new OutputState( false ) }, // => E=0 return new OutputState(y);
{ new InputState( true, false, false, false ), new OutputState( false ) }, // => S=0 => Y=D₀=0
{ new InputState( true, false, false, true ), new OutputState( false ) }, // => S=0 => Y=D₀=0
{ new InputState( true, false, true, false ), new OutputState( true ) }, // => S=0 => Y=D₀=1
{ new InputState( true, false, true, true ), new OutputState( true ) }, // => S=0 => Y=D₀=1
{ new InputState( true, true, false, false ), new OutputState( false ) }, // => S=1 => Y=D₁=0
{ new InputState( true, true, false, true ), new OutputState( true ) }, // => S=1 => Y=D₁=1
{ new InputState( true, true, true, false ), new OutputState( false ) }, // => S=1 => Y=D₁=0
{ new InputState( true, true, true, true ), new OutputState( true ) }, // => S=1 => Y=D₁=1
}; };
} }
@@ -393,68 +354,118 @@ namespace UntitledLogicGame.Workspace.Gates
{ {
public override string[] Inputs { get; } = new string[] { "E", "S", "D" }; public override string[] Inputs { get; } = new string[] { "E", "S", "D" };
public override string[] Outputs { get; } = new string[] { "Y₀", "Y₁" }; public override string[] Outputs { get; } = new string[] { "Y₀", "Y₁" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
internal override Func<InputState, OutputState> Function => (input) =>
{ {
{ new InputState( false, false, false ), new OutputState( false, false ) }, // => E=0 var e = input[0];
{ new InputState( false, false, true ), new OutputState( false, false ) }, // => E=0 var s = input[1];
{ new InputState( false, true, false ), new OutputState( false, false ) }, // => E=0 var d = input[2];
{ new InputState( false, true, true ), new OutputState( false, false ) }, // => E=0
{ new InputState( true, false, false ), new OutputState( false, false ) }, // => S=0 => Y₀=D=0 var y0 = e && !s && d;
{ new InputState( true, false, true ), new OutputState( true, false ) }, // => S=0 => Y₀=D=1 var y1 = e && s && d;
{ new InputState( true, true, false ), new OutputState( false, false ) }, // => S=1 => Y₁=D=0
{ new InputState( true, true, true ), new OutputState( false, true ) }, // => S=1 => Y₁=D=1 return new OutputState(y0, y1);
}; };
} }
internal class EncGate : GateDefinition internal class Mux2bGate : GateDefinition
{ {
public new string Name => "2bits Mux";
public override string[] Inputs { get; } = new string[] { "E", "S₀", "S₁", "D₀", "D₁", "D₂", "D₃" };
public override string[] Outputs { get; } = new string[] { "Y" };
internal override Func<InputState, OutputState> Function => (input) =>
{
var e = input[0];
var s0 = input[1];
var s1 = input[2];
var d0 = input[3];
var d1 = input[4];
var d2 = input[5];
var d3 = input[6];
var y = e && (
!s0 && !s1 && d0 ||
s0 && !s1 && d1 ||
!s0 && s1 && d2 ||
s0 && s1 && d3
);
return new OutputState(y);
};
}
internal class Demux2bGate : GateDefinition
{
public new string Name => "2bits Demux";
public override string[] Inputs { get; } = new string[] { "E", "S₀", "S₁", "D" };
public override string[] Outputs { get; } = new string[] { "Y₀", "Y₁", "Y₂", "Y₃" };
internal override Func<InputState, OutputState> Function => (input) =>
{
var e = input[0];
var s0 = input[1];
var s1 = input[2];
var d = input[3];
var y0 = e && !s0 && !s1 && d;
var y1 = e && s0 && !s1 && d;
var y2 = e && !s0 && s1 && d;
var y3 = e && s0 && s1 && d;
return new OutputState(y0, y1, y2, y3);
};
}
internal class Enc2b4bGate : GateDefinition
{
public new string Name => "2b/4b Enc.";
public override string[] Inputs { get; } = new string[] { "D₀", "D₁" }; public override string[] Inputs { get; } = new string[] { "D₀", "D₁" };
public override string[] Outputs { get; } = new string[] { "Y₀", "Y₁", "Y₂", "Y₃" }; public override string[] Outputs { get; } = new string[] { "Y₀", "Y₁", "Y₂", "Y₃" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
internal override Func<InputState, OutputState> Function => (input) =>
{ {
{ new InputState( false, false ), new OutputState( true, false, false, false ) }, // D̅₀D̅₁ var d0 = input[0];
{ new InputState( false, true ), new OutputState( false, true, false, false ) }, // D₀D̅₁ var d1 = input[1];
{ new InputState( true, false ), new OutputState( false, false, true, false ) }, // D̅₀D₁
{ new InputState( true, true ), new OutputState( false, false, false, true ) }, // D₀D₁ var y0 = !d0 && !d1;
var y1 = d0 && !d1;
var y2 = !d0 && d1;
var y3 = d0 && d1;
return new OutputState(y0, y1, y2, y3);
}; };
} }
internal class DecGate : GateDefinition internal class Dec4b2bGate : GateDefinition
{ {
public override string[] Inputs { get; } = new string[] { "D₃", "D₂", "D₁", "D₀" }; public new string Name => "4b/2b Dec.";
public override string[] Inputs { get; } = new string[] { "D₀", "D₁", "D₂", "D₃"};
public override string[] Outputs { get; } = new string[] { "Y₀", "Y₁" }; public override string[] Outputs { get; } = new string[] { "Y₀", "Y₁" };
internal override Dictionary<InputState, OutputState> TruthTable { get; } = new Dictionary<InputState, OutputState>
internal override Func<InputState, OutputState> Function => (input) =>
{ {
{ new InputState( false, false, false, false ), new OutputState( false, false ) }, // XX var d0 = input[0];
{ new InputState( false, false, false, true ), new OutputState( false, false ) }, // D̅₀D̅₁ var d1 = input[1];
{ new InputState( false, false, true, false ), new OutputState( true, true ) }, // D₀D̅₁ var d2 = input[2];
{ new InputState( false, false, true, true ), new OutputState( true, false ) }, // D₀D̅₁ var d3 = input[3];
{ new InputState( false, true, false, false ), new OutputState( false, true ) }, // D̅₀D₁
{ new InputState( false, true, false, true ), new OutputState( false, true ) }, // D̅₀D₁ var y0 = d1 && !d2 || d3;
{ new InputState( false, true, true, false ), new OutputState( false, true ) }, // D̅₀D₁ var y1 = d2 || d3;
{ new InputState( false, true, true, true ), new OutputState( false, true ) }, // D̅₀D₁
{ new InputState( true, false, false, false ), new OutputState( true, true ) }, // D₀D₁ return new OutputState(y0, y1);
{ new InputState( true, false, false, true ), new OutputState( true, true ) }, // D₀D₁
{ new InputState( true, false, true, false ), new OutputState( true, true ) }, // D₀D₁
{ new InputState( true, false, true, true ), new OutputState( true, true ) }, // D₀D₁
{ new InputState( true, true, false, false ), new OutputState( true, true ) }, // D₀D₁
{ new InputState( true, true, false, true ), new OutputState( true, true ) }, // D₀D₁
{ new InputState( true, true, true, false ), new OutputState( true, true ) }, // D₀D₁
{ new InputState( true, true, true, true ), new OutputState( true, true ) }, // D₀D₁
}; };
} }
#endregion #endregion
#region 700 - Registers #region 800 - Registers
internal class SISO4bGate : GateDefinition internal class SISO4bGate : StateGateDefinition
{ {
public new string Name => "4bits SISO";
public override string[] Inputs { get; } = new string[] { "CLK", "D" }; public override string[] Inputs { get; } = new string[] { "CLK", "D" };
public override string[] Outputs { get; } = new string[] { "Q" }; public override string[] Outputs { get; } = new string[] { "Q" };
internal override Dictionary<InputState, OutputState> TruthTable => EmptyTruthTable;
public new string Name => "4 bits SISO";
public new bool HasState => true;
private bool _q0; private bool _q0;
private bool _q1; private bool _q1;
@@ -462,7 +473,7 @@ namespace UntitledLogicGame.Workspace.Gates
private bool _q3; private bool _q3;
private bool _lastClk; private bool _lastClk;
internal new OutputState Compute(InputState input) internal override Func<InputState, OutputState> Function => (input) =>
{ {
var clk = input[0]; var clk = input[0];
var d = input[1]; var d = input[1];
@@ -475,16 +486,14 @@ namespace UntitledLogicGame.Workspace.Gates
} }
_lastClk = clk; _lastClk = clk;
return new OutputState(_q3); return new OutputState(_q3);
} };
} }
internal class SIPO4bGate : GateDefinition internal class SIPO4bGate : StateGateDefinition
{ {
public new string Name => "4bits SIPO";
public override string[] Inputs { get; } = new string[] { "CLK", "D" }; public override string[] Inputs { get; } = new string[] { "CLK", "D" };
public override string[] Outputs { get; } = new string[] { "Q₀", "Q₁", "Q₂", "Q₃" }; public override string[] Outputs { get; } = new string[] { "Q₀", "Q₁", "Q₂", "Q₃" };
internal override Dictionary<InputState, OutputState> TruthTable => EmptyTruthTable;
public new string Name => "4 bits SIPO";
public new bool HasState => true;
private bool _q0; private bool _q0;
private bool _q1; private bool _q1;
@@ -492,7 +501,7 @@ namespace UntitledLogicGame.Workspace.Gates
private bool _q3; private bool _q3;
private bool _lastClk; private bool _lastClk;
internal new OutputState Compute(InputState input) internal override Func<InputState, OutputState> Function => (input) =>
{ {
var clk = input[0]; var clk = input[0];
var d = input[1]; var d = input[1];
@@ -505,16 +514,14 @@ namespace UntitledLogicGame.Workspace.Gates
} }
_lastClk = clk; _lastClk = clk;
return new OutputState(_q0, _q1, _q2, _q3); return new OutputState(_q0, _q1, _q2, _q3);
} };
} }
internal class PIPO4bGate : GateDefinition internal class PIPO4bGate : StateGateDefinition
{ {
public override string[] Inputs { get; } = new string[] { "CLK", "D₀", "D₁", "D₂", "D₃" }; public new string Name => "4bits PIPO";
public override string[] Inputs { get; } = new string[] { "CLK", "D₀", "D₁", "D₂", "D₃" };
public override string[] Outputs { get; } = new string[] { "Q₀", "Q₁", "Q₂", "Q₃" }; public override string[] Outputs { get; } = new string[] { "Q₀", "Q₁", "Q₂", "Q₃" };
internal override Dictionary<InputState, OutputState> TruthTable => EmptyTruthTable;
public new string Name => "4 bits PIPO";
public new bool HasState => true;
private bool _q0; private bool _q0;
private bool _q1; private bool _q1;
@@ -522,7 +529,7 @@ namespace UntitledLogicGame.Workspace.Gates
private bool _q3; private bool _q3;
private bool _lastClk; private bool _lastClk;
internal new OutputState Compute(InputState input) internal override Func<InputState, OutputState> Function => (input) =>
{ {
var clk = input[0]; var clk = input[0];
var d0 = input[1]; var d0 = input[1];
@@ -538,7 +545,7 @@ namespace UntitledLogicGame.Workspace.Gates
} }
_lastClk = clk; _lastClk = clk;
return new OutputState(_q0, _q1, _q2, _q3); return new OutputState(_q0, _q1, _q2, _q3);
} };
} }
#endregion #endregion
Assets/Scripts/Workspace/Gates/GateType.cs
+12 -9
View File
@@ -26,18 +26,21 @@
JKFlipFlop = 510, JKFlipFlop = 510,
DFlipFlop = 520, DFlipFlop = 520,
TFlipFlop = 530, TFlipFlop = 530,
// 600 - Combinational // 600 - Arithmetic
HalfAdd = 600, HalfAdd = 600,
FullAdd = 610, FullAdd = 610,
HalSub = 620, HalSub = 620,
FullSub = 630, FullSub = 630,
Mux = 640, // 700 - Data
Demux = 650, Mux = 710,
Enc = 660, Demux = 720,
Dec = 670, Mux2b = 730,
// 700 - Registers Demux2b = 740,
SISO4b = 700, Enc2b4b = 750,
SIPO4b = 710, Dec4b2b = 760,
PIPO4b = 720, // 800 - Registers
SISO4b = 800,
SIPO4b = 810,
PIPO4b = 820,
} }
} }
Assets/Scripts/Workspace/Gates/State.cs
+3 -3
View File
@@ -3,7 +3,7 @@ using System.Linq;
namespace UntitledLogicGame.Workspace.Gates namespace UntitledLogicGame.Workspace.Gates
{ {
internal class InputState : State public class InputState : State
{ {
public InputState(IEnumerable<bool> args) : base(args) { } public InputState(IEnumerable<bool> args) : base(args) { }
@@ -12,7 +12,7 @@ namespace UntitledLogicGame.Workspace.Gates
public InputState(int len) : base(len) { } public InputState(int len) : base(len) { }
} }
internal class OutputState : State public class OutputState : State
{ {
public OutputState(IEnumerable<bool> args) : base(args) { } public OutputState(IEnumerable<bool> args) : base(args) { }
@@ -21,7 +21,7 @@ namespace UntitledLogicGame.Workspace.Gates
public OutputState(int len) : base(len) { } public OutputState(int len) : base(len) { }
} }
internal abstract class State public abstract class State
{ {
internal int Length => values.Length; internal int Length => values.Length;
TODO.txt
+3 -3
View File
@@ -1,11 +1,11 @@
TODO TODO
-(0) mux/demux
-(2) gate bar sub categories -(2) gate bar sub categories
-(2) named anchors (dezoom hide ?) -(2) named anchors (dezoom hide ?)
-(3) clocks (1Hz, 5Hz, 10Hz, etc.) -(3) clocks (1Hz, 5Hz, 10Hz, etc.)
-(3) generic rect gates -(3) generic rect gates
-(3) state gates -(3) state gates (automatic prefab ?)
-(3) cable overlap (same/diff circuit) -(3) cable overlap (same/diff circuit)
-(5) cable management -(5) cable management
-(5) buses -(5) buses
-(?) find a name -(?) find a name