marina/testCode/com/sun/vlsi/chips/marina/test/MarinaUtils.java

   1 package com.sun.vlsi.chips.marina.test;
   2 import com.sun.async.test.BitVector;
   3 import com.sun.async.test.Infrastructure;
   4
   5 import java.util.List;
   6 import java.util.Random;
   7 import java.util.ArrayList;
   8
   9 public class MarinaUtils {
  10
  11     /**
  12      * StateWireState hides whether the state wire being high means FULL
  13      * or whether high means EMPTY
  14      */
  15     public static enum StateWireState {
  16         FULL, EMPTY
  17             };
  18
  19     public static void fatal(boolean pred, String msg) {
  20         if (pred) throw new FailureException(msg);
  21     }
  22
  23     public static class FailureException extends RuntimeException {
  24         public FailureException(String s) { super(s); }
  25     }
  26
  27     /**
  28      *  Compare two lists of BitVectors
  29      */
  30     public static void compareItemsOrdered(List<BitVector> din, List<BitVector> dout) {
  31         fatal(din.size()!=dout.size(),
  32               "in count="+din.size()+" out count="+dout.size());
  33         for (int i=0; i<din.size(); i++) {
  34             BitVector dI = din.get(i);
  35             BitVector dO = dout.get(i);
  36             fatal(!dI.equals(dO),
  37                   "item mismatch! in:"+dI.getState()+" out:"+dO.getState());
  38         }
  39     }
  40
  41     /**
  42      *  Convert an edu.berkeley.fleet.api.BitVector to a com.sun.async.test.BitVector
  43      */
  44     public static BitVector berkToSun(edu.berkeley.fleet.api.BitVector berkBits) {
  45         BitVector sunBits = new BitVector(berkBits.length(), "berkToSun()");
  46         for(int i=0; i<sunBits.getNumBits(); i++) sunBits.set(i, berkBits.get(i));
  47         return sunBits;
  48     }
  49
  50     /**
  51      *  Convert an a com.sun.async.test.BitVector to a edu.berkeley.fleet.api.BitVector
  52      */
  53     public static edu.berkeley.fleet.api.BitVector sunToBerk(BitVector sunBits) {
  54         edu.berkeley.fleet.api.BitVector berkBits =
  55             new edu.berkeley.fleet.api.BitVector(sunBits.getNumBits());
  56         for(int i=0; i<sunBits.getNumBits(); i++) berkBits.set(i, sunBits.get(i));
  57         return berkBits;
  58     }
  59
  60
  61     public static void expectLength(BitVector bv, int expected) {
  62         if (bv.getNumBits()!=expected)
  63             throw new RuntimeException("expected BitVector of length " + expected + ", but got " + bv.getNumBits() +" in " + bv);
  64     }
  65 }