1 package edu.berkeley.fleet.util;
2 import edu.berkeley.fleet.api.*;
3 import edu.berkeley.fleet.*;
8 private final String str;
10 public final long mask;
11 public final long val;
12 public final long valmask;
13 public final int valmaskmin;
14 public final int valmaskmax;
15 public final int valmaskwidth;
16 public final int allmax;
17 public final int width;
19 public String verilog(String var) {
20 // FIXME: throw an exception if this is called when no 1-bits or 0-bits were specified (ie only v-bits)
22 StringBuffer sb = new StringBuffer();
26 for(int i=63; i>=0; i--) {
27 if ((mask & (1L << i)) == 0) continue;
28 if (!first) sb.append(",");
30 sb.append(var+"["+i+"]");
33 sb.append("}=="+count+"'b");
34 for(int i=63; i>=0; i--) {
35 if ((mask & (1L << i)) == 0) continue;
36 sb.append( (val & (1L << i))==0 ? "0" : "1" );
38 return "("+sb.toString()+")";
39 //return "(("+var+" & "+allmax+"'b"+Long.toString(mask,2)+")=="+allmax+"'b"+Long.toString(val,2)+")";
41 public String verilogVal(String var) {
42 //return "(("+var+" & "+allmax+"'b"+Long.toString(valmask,2)+") >> "+valmaskmin+")";
43 return ""+var+"["+valmaskmax+":"+valmaskmin+"]";
46 public long getval(long in) {
47 return (in & valmask) >>> valmaskmin;
49 public BitVector getvalAsBitVector(long in) {
50 long ret = getval(in);
51 return new BitVector(getWidth()).set(in);
53 public long getval(BitVector targ) {
55 for(int i=0; i<targ.length(); i++)
58 return (in & valmask) >>> valmaskmin;
60 public long setval(long in, BitVector targ) {
62 for(int i=0; i<targ.length(); i++)
65 if (targ.get(targ.length()-1))
66 ret |= (-1L << targ.length());
67 return setval(in, ret);
69 public long setval(long in, long targ) {
70 if (((targ << valmaskmin) & ~valmask) != 0) throw new RuntimeException("setval() with argument bigger than mask field");
71 return (in & ~valmask) | ((targ << valmaskmin) & valmask);
73 public long set(long in) {
74 return (in & ~mask) | val;
76 public boolean get(long in) {
77 return (in & mask) == val;
80 public String toString() {
84 public int getWidth() {
87 for(int i=0; i<64; i++) {
88 if ((valmask & m)!=0) ret++;
94 public Mask(String s) {
99 int valmaskmin = Integer.MAX_VALUE;
102 this.width = s.length();
103 for(int i=0; i<s.length(); i++) {
104 char c = s.charAt(s.length()-1-i);
107 case '0': mask |= (1L<<i); val |= (0L<<i); break;
108 case '1': mask |= (1L<<i); val |= (1L<<i); break;
109 case 'v': valmask |= (1L<<i); valmaskmin = Math.min(valmaskmin,i); valmaskmax = Math.max(valmaskmax,i); break;
110 default: throw new Error(""+c);
112 if (c!='.') allmax = Math.max(allmax,i);
116 this.valmask = valmask;
117 this.valmaskmin = valmaskmin;
118 this.valmaskmax = valmaskmax;
119 this.allmax = allmax+1;
120 this.valmaskwidth = 1 + valmaskmax - valmaskmin;
123 public static long signExtend(long input, int wordWidth) {
124 if ((input & (1L << (wordWidth-1)))!=0)
125 input |= (-1L) << wordWidth;