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

Example 51 with TestExecuter

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

the class ComparatorTest method testCompUnsigned64Bit.

public void testCompUnsigned64Bit() throws Exception {
    ObservableValue a = new ObservableValue("a", 64);
    ObservableValue b = new ObservableValue("b", 64);
    Model model = new Model();
    Comparator node = new Comparator(new ElementAttributes().setBits(64).set(Keys.SIGNED, false));
    node.setInputs(ovs(a, b));
    model.add(node);
    TestExecuter sc = new TestExecuter(model).setInputs(a, b).setOutputs(node.getOutputs());
    // gr eq kl
    sc.check(0, 0, 0, 1, 0);
    sc.check(0, -2, 0, 0, 1);
    sc.check(-2, 0, 1, 0, 0);
    sc.check(-1, -2, 1, 0, 0);
    sc.check(-2, -1, 0, 0, 1);
    sc.check(2, 1, 1, 0, 0);
    sc.check(0xC000000000000000L, 0x8000000000000000L, 1, 0, 0);
    sc.check(0x8000000000000000L, 0, 1, 0, 0);
}

Example 52 with TestExecuter

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

the class MulTest method testMul.

public void testMul() throws Exception {
    ObservableValue a = new ObservableValue("a", 4);
    ObservableValue b = new ObservableValue("b", 4);
    Model model = new Model();
    Mul node = model.add(new Mul(new ElementAttributes().setBits(4)));
    node.setInputs(ovs(a, b));
    TestExecuter sc = new TestExecuter(model).setInputs(a, b).setOutputsOf(node);
    sc.check(0, 0, 0);
    sc.check(6, 6, 36);
    sc.check(15, 15, 225);
}

Example 53 with TestExecuter

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

the class NegTest method testNeg.

public void testNeg() throws Exception {
    ObservableValue a = new ObservableValue("a", 4);
    Model model = new Model();
    Neg out = model.add(new Neg(new ElementAttributes().setBits(4)));
    out.setInputs(a.asList());
    TestExecuter sc = new TestExecuter(model).setInputs(a).setOutputs(out.getOutputs());
    sc.check(0, 0);
    sc.check(1, 15);
    sc.check(15, 1);
    sc.check(3, 13);
    sc.check(7, 9);
    sc.check(8, 8);
    sc.check(9, 7);
}

Example 54 with TestExecuter

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

the class NegTest method testNeg64.

public void testNeg64() throws Exception {
    ObservableValue a = new ObservableValue("a", 64);
    Model model = new Model();
    Neg out = model.add(new Neg(new ElementAttributes().setBits(64)));
    out.setInputs(a.asList());
    TestExecuter sc = new TestExecuter(model).setInputs(a).setOutputs(out.getOutputs());
    sc.check(0, 0);
    sc.check(-1, 1);
    sc.check(1, -1);
}

Example 55 with TestExecuter

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

the class SubTest method testSub64.

public void testSub64() throws Exception {
    ObservableValue a = new ObservableValue("a", 64);
    ObservableValue b = new ObservableValue("b", 64);
    ObservableValue c = new ObservableValue("c", 1);
    Model model = new Model();
    Sub node = new Sub(new ElementAttributes().setBits(64));
    node.setInputs(ovs(a, b, c));
    model.add(node);
    TestExecuter sc = new TestExecuter(model).setInputs(a, b, c).setOutputs(node.getOutputs());
    sc.check(0, 0, 1, -1, 1);
    sc.check(0, 1, 0, -1, 1);
    sc.check(2, 2, 1, -1, 1);
    sc.check(2, 3, 0, -1, 1);
}