Examples with TestExecuter de.neemann.digital.TestExecuter used on opensource projects

Example 71 with TestExecuter

use of de.neemann.digital.TestExecuter in project Digital by hneemann.

the class FlipflopJKTest method testFlipFlop.

public void testFlipFlop() throws Exception {
    ObservableValue j = new ObservableValue("j", 1);
    ObservableValue c = new ObservableValue("c", 1);
    ObservableValue k = new ObservableValue("k", 1);
    Model model = new Model();
    FlipflopJK out = model.add(new FlipflopJK(new ElementAttributes()));
    out.setInputs(ovs(j, c, k));
    TestExecuter sc = new TestExecuter(model).setInputs(j, c, k).setOutputs(out.getOutputs());
    // J  C  K  Q  ~Q
    sc.check(0, 0, 0, 0, 1);
    sc.check(0, 0, 0, 0, 1);
    sc.check(1, 0, 0, 0, 1);
    sc.check(0, 1, 0, 0, 1);
    sc.check(1, 0, 0, 0, 1);
    sc.check(1, 1, 0, 1, 0);
    sc.check(1, 0, 1, 1, 0);
    sc.check(1, 1, 1, 0, 1);
    sc.check(1, 0, 1, 0, 1);
    sc.check(1, 1, 1, 1, 0);
    sc.check(0, 0, 1, 1, 0);
    sc.check(0, 1, 1, 0, 1);
    sc.check(0, 0, 0, 0, 1);
}

Example 72 with TestExecuter

use of de.neemann.digital.TestExecuter in project Digital by hneemann.

the class FlipflopTTest method testFlipFlop.

public void testFlipFlop() throws Exception {
    ObservableValue c = new ObservableValue("c", 1);
    Model model = new Model();
    FlipflopT out = model.add(new FlipflopT(new ElementAttributes().setBits(1).set(Keys.WITH_ENABLE, false)));
    out.setInputs(c.asList());
    TestExecuter sc = new TestExecuter(model).setInputs(c).setOutputs(out.getOutputs());
    // C  Q  ~Q
    sc.check(0, 0, 1);
    sc.check(1, 1, 0);
    sc.check(1, 1, 0);
    sc.check(0, 1, 0);
    sc.check(0, 1, 0);
    sc.check(1, 0, 1);
    sc.check(0, 0, 1);
}

Example 73 with TestExecuter

use of de.neemann.digital.TestExecuter in project Digital by hneemann.

the class FlipflopTTest method testFlipFlopWithEnable.

public void testFlipFlopWithEnable() throws Exception {
    ObservableValue t = new ObservableValue("t", 1);
    ObservableValue c = new ObservableValue("c", 1);
    Model model = new Model();
    FlipflopT out = model.add(new FlipflopT(new ElementAttributes().setBits(1).set(Keys.WITH_ENABLE, true)));
    out.setInputs(new ObservableValues(t, c));
    TestExecuter sc = new TestExecuter(model).setInputs(t, c).setOutputs(out.getOutputs());
    // T  C  Q  ~Q
    sc.check(1, 0, 0, 1);
    sc.check(1, 1, 1, 0);
    sc.check(1, 1, 1, 0);
    sc.check(1, 0, 1, 0);
    sc.check(1, 0, 1, 0);
    sc.check(1, 1, 0, 1);
    sc.check(1, 0, 0, 1);
    sc.check(0, 1, 0, 1);
    sc.check(0, 0, 0, 1);
    sc.check(0, 1, 0, 1);
    sc.check(0, 0, 0, 1);
    sc.check(1, 1, 1, 0);
    sc.check(0, 0, 1, 0);
    sc.check(0, 1, 1, 0);
    sc.check(0, 0, 1, 0);
}

Example 74 with TestExecuter

use of de.neemann.digital.TestExecuter in project Digital by hneemann.

the class CounterTest method testCounter.

public void testCounter() throws Exception {
    ObservableValue clk = new ObservableValue("clk", 1);
    ObservableValue en = new ObservableValue("en", 1);
    ObservableValue clr = new ObservableValue("clr", 1);
    Model model = new Model();
    Counter out = model.add(new Counter(new ElementAttributes().setBits(8)));
    out.setInputs(ovs(en, clk, clr));
    TestExecuter sc = new TestExecuter(model).setInputs(en, clk, clr).setOutputs(out.getOutputs());
    sc.check(1, 0, 0, 0, 0);
    sc.check(1, 1, 0, 1, 0);
    sc.check(1, 0, 0, 1, 0);
    sc.check(1, 1, 0, 2, 0);
    sc.check(1, 0, 0, 2, 0);
    sc.check(1, 1, 0, 3, 0);
    sc.check(1, 0, 0, 3, 0);
    sc.check(0, 0, 1, 3, 0);
    sc.check(0, 1, 1, 0, 0);
    sc.check(0, 0, 1, 0, 0);
    sc.check(1, 0, 0, 0, 0);
    for (int i = 1; i <= 254; i++) {
        sc.check(1, 0, 0, i - 1, 0);
        sc.check(1, 1, 0, i, 0);
    }
    sc.check(1, 0, 0, 254, 0);
    sc.check(1, 1, 0, 255, 1);
    sc.check(1, 0, 0, 255, 1);
    sc.check(1, 1, 0, 0, 0);
    sc.check(1, 0, 0, 0, 0);
    sc.check(1, 1, 0, 1, 0);
}

Example 75 with TestExecuter

use of de.neemann.digital.TestExecuter in project Digital by hneemann.

the class XOrTest method testXor.

public void testXor() throws Exception {
    ObservableValue a = new ObservableValue("a", 1);
    ObservableValue b = new ObservableValue("b", 1);
    Model model = new Model();
    XOr out = model.add(new XOr(new ElementAttributes().setBits(1)));
    out.setInputs(ovs(a, b));
    TestExecuter sc = new TestExecuter(model).setInputs(a, b).setOutputs(out.getOutputs());
    sc.check(0, 0, 0);
    sc.check(1, 0, 1);
    sc.check(0, 1, 1);
    sc.check(1, 1, 0);
}