1 package net.mograsim.machine.standard.memory;
3 import static org.junit.jupiter.api.Assertions.assertEquals;
5 import java.math.BigInteger;
6 import java.util.Random;
7 import java.util.stream.LongStream;
9 import org.junit.jupiter.params.ParameterizedTest;
10 import org.junit.jupiter.params.provider.MethodSource;
12 import net.mograsim.logic.core.timeline.Timeline;
13 import net.mograsim.logic.core.types.Bit;
14 import net.mograsim.logic.core.types.BitVector;
15 import net.mograsim.logic.core.wires.CoreWire;
16 import net.mograsim.logic.core.wires.CoreWire.ReadWriteEnd;
17 import net.mograsim.machine.MainMemory;
18 import net.mograsim.machine.MainMemoryDefinition;
19 import net.mograsim.machine.StandardMainMemory;
24 private Timeline t = new Timeline(10);
26 @ParameterizedTest(name = "seed = {0}")
27 @MethodSource("seedsForRandom")
28 public void wordAddressableMemoryLargeTest(long seed)
30 CoreWire rW = new CoreWire(t, 1, 2);
31 CoreWire data = new CoreWire(t, 16, 2);
32 CoreWire address = new CoreWire(t, 64, 2);
33 ReadWriteEnd rWI = rW.createReadWriteEnd();
34 ReadWriteEnd dataI = data.createReadWriteEnd();
35 ReadWriteEnd addressI = address.createReadWriteEnd();
37 MainMemoryDefinition definition = MainMemoryDefinition.create(64, 16, 4096L, Long.MAX_VALUE);
38 CoreBitVectorMemory<MainMemory> memory = new CoreBitVectorMemory<>(t, 4, definition, data.createReadWriteEnd(),
39 rW.createReadOnlyEnd(), address.createReadOnlyEnd(), false);
40 memory.setMemory(new StandardMainMemory(definition));
42 Random r = new Random(seed);
43 for (long j = 1; j > 0; j *= 2)
45 for (int i = 0; i < 100; i++)
47 BitVector bAddress = BitVector.from(4096 + i + j, 64);
48 addressI.feedSignals(bAddress);
50 BigInteger random = BigInteger.valueOf(Math.abs(r.nextInt()));
51 BitVector vector = BitVector.from(random, 16);
52 dataI.feedSignals(vector);
53 rWI.feedSignals(Bit.ZERO);
55 rWI.feedSignals(Bit.ONE);
60 assertEquals(vector, dataI.getValues(), "seed=" + seed + ", j=" + j + ", i=" + i);
65 public static LongStream seedsForRandom()
67 return LongStream.range(0, 20);