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

Example 16 with TestExecuter

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

the class OrTest method testOr.

public void testOr() throws Exception {
    ObservableValue a = new ObservableValue("a", 1);
    ObservableValue b = new ObservableValue("b", 1);
    Model model = new Model();
    FanIn and = model.add(new Or(new ElementAttributes().setBits(1)));
    and.setInputs(ovs(a, b));
    TestExecuter sc = new TestExecuter(model).setInputs(a, b).setOutputs(and.getOutput());
    sc.check(0, 0, 0);
    sc.check(1, 0, 1);
    sc.check(0, 1, 1);
    sc.check(1, 1, 1);
    sc.check(1, 0, 1);
    sc.check(0, 1, 1);
    sc.check(0, 0, 0);
}

Example 17 with TestExecuter

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

the class XNOrTest method testXor.

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

Example 18 with TestExecuter

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

the class LUTTest method testLut.

public void testLut() throws Exception {
    ObservableValue a = new ObservableValue("a", 1);
    ObservableValue b = new ObservableValue("b", 1);
    ObservableValue c = new ObservableValue("c", 1);
    Model model = new Model();
    DataField data = new DataField(8);
    data.setData(3, 1);
    data.setData(7, 1);
    LookUpTable out = model.add(new LookUpTable(new ElementAttributes().setBits(1).set(Keys.DATA, data)));
    out.setInputs(ovs(a, b));
    TestExecuter sc = new TestExecuter(model).setInputs(a, b, c).setOutputs(out.getOutputs());
    sc.check(0, 0, 0, 0);
    sc.check(1, 0, 0, 0);
    sc.check(0, 1, 0, 0);
    sc.check(1, 1, 0, 1);
    sc.check(0, 0, 1, 0);
    sc.check(1, 0, 1, 0);
    sc.check(0, 1, 1, 0);
    sc.check(1, 1, 1, 1);
}

Example 19 with TestExecuter

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

the class ROMTest method testROM.

public void testROM() throws Exception {
    ObservableValue addr = new ObservableValue("addr", 3);
    ObservableValue sel = new ObservableValue("sel", 1);
    Model model = new Model();
    DataField data = new DataField(8);
    data.setData(3, 17);
    data.setData(7, 200);
    ROM out = model.add(new ROM(new ElementAttributes().setBits(8).set(Keys.ADDR_BITS, 3).set(Keys.DATA, data)));
    out.setInputs(ovs(addr, sel));
    TestExecuter sc = new TestExecuter(model).setInputs(addr, sel).setOutputs(out.getOutputs());
    sc.check(0, 1, 0);
    sc.check(1, 1, 0);
    sc.check(2, 1, 0);
    sc.check(3, 1, 17);
    sc.check(4, 1, 0);
    sc.check(5, 1, 0);
    sc.check(6, 1, 0);
// try {  ToDo HighZ
// sc.check(6, 0, 0);
// assertTrue(false);
// } catch (HighZException e) {
// assertTrue(true);
// }
}

Example 20 with TestExecuter

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

the class RegisterFileTest method testRegisterFile.

public void testRegisterFile() throws Exception {
    ObservableValue ra = new ObservableValue("ra", 2);
    ObservableValue rb = new ObservableValue("rb", 2);
    ObservableValue rw = new ObservableValue("rw", 2);
    ObservableValue in = new ObservableValue("in", 4);
    ObservableValue we = new ObservableValue("we", 1);
    ObservableValue clk = new ObservableValue("clk", 1);
    Model model = new Model();
    RegisterFile out = model.add(new RegisterFile(new ElementAttributes().set(Keys.ADDR_BITS, 2).setBits(4)));
    out.setInputs(ovs(in, we, rw, clk, ra, rb));
    TestExecuter sc = new TestExecuter(model).setInputs(clk, in, we, rw, ra, rb).setOutputs(out.getOutputs());
    // c  in we rw ra rb da db
    sc.check(0, 0, 0, 0, 0, 0, 0, 0);
    sc.check(1, 7, 1, 1, 0, 0, 0, 0);
    sc.check(0, 0, 0, 0, 1, 1, 7, 7);
    sc.check(1, 5, 1, 2, 1, 1, 7, 7);
    sc.check(0, 0, 0, 0, 1, 2, 7, 5);
}