tests/net.mograsim.machine.tests/src/net/mograsim/machine/standard/memory/WordAddressableMemoryTest.java

   1 package net.mograsim.machine.standard.memory;
   2
   3 import static org.junit.jupiter.api.Assertions.assertEquals;
   4
   5 import java.math.BigInteger;
   6 import java.util.Random;
   7 import java.util.stream.LongStream;
   8
   9 import org.junit.jupiter.params.ParameterizedTest;
  10 import org.junit.jupiter.params.provider.MethodSource;
  11
  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.MainMemoryDefinition;
  18
  19 class WordAddressableMemoryTest
  20 {
  21
  22         private Timeline t = new Timeline(10);
  23
  24         @ParameterizedTest(name = "seed = {0}")
  25         @MethodSource("seedsForRandom")
  26         public void wordAddressableMemoryLargeTest(long seed)
  27         {
  28                 CoreWire rW = new CoreWire(t, 1, 2);
  29                 CoreWire data = new CoreWire(t, 16, 2);
  30                 CoreWire address = new CoreWire(t, 64, 2);
  31                 ReadWriteEnd rWI = rW.createReadWriteEnd();
  32                 ReadWriteEnd dataI = data.createReadWriteEnd();
  33                 ReadWriteEnd addressI = address.createReadWriteEnd();
  34
  35                 @SuppressWarnings("unused")
  36                 CoreWordAddressableMemory memory = new CoreWordAddressableMemory(t, 4,
  37                                 new WordAddressableMemory(MainMemoryDefinition.create(64, 16, 4096L, Long.MAX_VALUE)), data.createReadWriteEnd(),
  38                                 rW.createReadOnlyEnd(), address.createReadOnlyEnd());
  39
  40                 Random r = new Random(seed);
  41                 for (long j = 1; j > 0; j *= 2)
  42                 {
  43                         for (int i = 0; i < 100; i++)
  44                         {
  45                                 BitVector bAddress = BitVector.from(4096 + i + j, 64);
  46                                 addressI.feedSignals(bAddress);
  47                                 t.executeAll();
  48                                 String random = BigInteger.valueOf(Math.abs(r.nextInt())).toString(5);
  49                                 random = random.substring(Integer.max(0, random.length() - 16));
  50                                 random = String.format("%16s", random).replace(' ', '0');
  51                                 random = random.replace('2', 'X').replace('3', 'Z').replace('4', 'U');
  52                                 BitVector vector = BitVector.parse(random);
  53                                 dataI.feedSignals(vector);
  54                                 rWI.feedSignals(Bit.ZERO);
  55                                 t.executeAll();
  56                                 rWI.feedSignals(Bit.ONE);
  57                                 t.executeAll();
  58                                 dataI.clearSignals();
  59                                 t.executeAll();
  60
  61                                 assertEquals(vector, dataI.getValues(), "seed=" + seed + ", j=" + j + ", i=" + i);
  62                         }
  63                 }
  64         }
  65
  66         public static LongStream seedsForRandom()
  67         {
  68                 return LongStream.range(0, 20);
  69         }
  70 }