Examples with Model de.neemann.digital.core.Model used on opensource projects

Example 31 with Model

use of de.neemann.digital.core.Model in project Digital by hneemann.

the class AndTest method testAnd.

public void testAnd() throws Exception {
    ObservableValue a = new ObservableValue("a", 1);
    ObservableValue b = new ObservableValue("b", 1);
    Model model = new Model();
    FanIn out = model.add(new And(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, 0);
    sc.check(0, 1, 0);
    sc.check(1, 1, 1);
    sc.check(1, 0, 0);
    sc.check(0, 1, 0);
}

Example 32 with Model

use of de.neemann.digital.core.Model in project Digital by hneemann.

the class DelayTest method testDelayVar.

public void testDelayVar() throws Exception {
    for (int delayTime = 0; delayTime < 5; delayTime++) {
        ObservableValue in = new ObservableValue("in", 1);
        Model model = new Model();
        Delay delay = model.add(new Delay(new ElementAttributes().set(Keys.DELAY_TIME, delayTime)));
        delay.setInputs(in.asList());
        assertEquals(1, delay.getOutputs().size());
        ObservableValue out = delay.getOutputs().get(0);
        model.init();
        in.setValue(0);
        model.doStep();
        assertEquals(0, out.getValue());
        in.setValue(1);
        for (int i = 1; i < delayTime; i++) {
            assertTrue(model.needsUpdate());
            model.doMicroStep(false);
            assertEquals(0, out.getValue());
        }
        assertTrue(model.needsUpdate());
        model.doMicroStep(false);
        assertEquals(1, out.getValue());
        assertFalse(model.needsUpdate());
    }
}

Example 33 with Model

use of de.neemann.digital.core.Model in project Digital by hneemann.

the class ModelAnalyserTest method testAnalyzerMultiBit3.

// test with non zero default values set
public void testAnalyzerMultiBit3() throws Exception {
    Model model = new ToBreakRunner("dig/analyze/multiBitInOutDef.dig", false).getModel();
    TruthTable tt = new ModelAnalyser(model).analyse();
    checkIdent(tt);
}

Example 34 with Model

use of de.neemann.digital.core.Model in project Digital by hneemann.

the class ModelAnalyserTest method testAnalyzerDFF.

public void testAnalyzerDFF() throws Exception {
    Model model = new ToBreakRunner("dig/analyze/analyzeTestDFF.dig").getModel();
    TruthTable tt = new ModelAnalyser(model).analyse();
    check2BitCounter(tt);
}

Example 35 with Model

use of de.neemann.digital.core.Model in project Digital by hneemann.

the class ModelAnalyserTest method testAnalyzerTFF.

public void testAnalyzerTFF() throws Exception {
    Model model = new ToBreakRunner("dig/analyze/analyzeTestTFF.dig", false).getModel();
    TruthTable tt = new ModelAnalyser(model).analyse();
    check2BitCounter(tt);
}