src/edu/berkeley/obits/gui/GuiConstants.java

   1 package edu.berkeley.obits.gui;
   2
   3 import com.atmel.fpslic.*;
   4 import static com.atmel.fpslic.Fpslic.Constants.*;
   5 import static com.atmel.fpslic.Fpslic.Util.*;
   6 import edu.berkeley.obits.*;
   7 import edu.berkeley.obits.device.atmel.*;
   8 import java.awt.*;
   9 import java.awt.geom.*;
  10 import java.awt.event.*;
  11 import java.awt.color.*;
  12 import org.ibex.util.*;
  13 import java.io.*;
  14 import java.util.*;
  15 import javax.swing.*;
  16
  17 public class GuiConstants {
  18     public static int SIZE = 92;
  19     public static int RINGS = 3;
  20     public static int BEVEL = 5;
  21     public static int CORE_SIZE = 64;
  22     public static int CORE_OFFSET = 10;
  23     public static int HOFF = 52;
  24
  25     public static int RED  = 0xff0000;
  26     public static int BLUE = 0x0000ff;
  27     //public static int LIGHTRED  = 0xff0000;
  28     //public static int LIGHTBLUE = 0x0000ff;
  29     public static int LIGHTRED  = 0xffbbbb;
  30     public static int LIGHTBLUE = 0xbbbbff;
  31     public static int GREEN = 0x006b33;
  32     public static int WHITE = 0xffffff;
  33     public static int BLACK = 0x000000;
  34     public static int ORANGE = 0xff7f00;
  35     public static int MAGENTA = 0xff00ff;
  36
  37     public static final P YLUT_OUTPUT_POINT  = new P(SIZE-CORE_OFFSET-CORE_SIZE+51 - 2, CORE_OFFSET + 41 - 3);
  38     public static final P XLUT_OUTPUT_POINT  = new P(SIZE-CORE_OFFSET-CORE_SIZE+17 - 2, CORE_OFFSET + 41 - 3);
  39
  40     public static final String[] XLUT_EQUATIONS = new String[] {
  41         "0",
  42         "0",
  43         "~t x ~y",
  44         "~t ~y",
  45         "~t ~x y",
  46         "~t ~x",
  47         "~t (~x y + x ~y)",
  48         "~t (~x + ~y)",
  49         "~t x y",
  50         "~t x y",
  51         "~t x",
  52         "~t x",
  53         "~t y",
  54         "~t y",
  55         "~t (x + y)",
  56         "~t",
  57         "t ~x ~y",
  58         "~x ~y",
  59         "~y (~t x + t ~x)",
  60         "~y (~t + ~x)",
  61         "~x (~t y + t ~y)",
  62         "~x (~t + ~y)",
  63         "~t (~x y + x ~y) + t ~x ~y",
  64         "~t (~x + ~y) + ~x ~y",
  65         "t ~x ~y + ~t x y",
  66         "~x ~y + ~t x y",
  67         "~t x + t ~x ~y",
  68         "~x ~y + ~t x",
  69         "~t y + t ~x ~y",
  70         "~x ~y + ~t y",
  71         "~t (x + y) + t ~x ~y",
  72         "~t + ~x ~y",
  73         "t x ~y",
  74         "t x ~y",
  75         "x ~y",
  76         "x ~y",
  77         "t x ~y + ~t ~x y",
  78         "~t ~x + t x ~y",
  79         "x ~y + ~t ~x y",
  80         "x ~y + ~t ~x",
  81         "x (~t y + t ~y)",
  82         "x (~t y + t ~y)",
  83         "x (~t + ~y)",
  84         "x (~t + ~y)",
  85         "~t y + t x ~y",
  86         "~t y + t x ~y",
  87         "x ~y + ~t y",
  88         "~t + x ~y",
  89         "t ~y",
  90         "t ~y",
  91         "~y (t + x)",
  92         "~y",
  93         "t ~y + ~t ~x y",
  94         "t ~y + ~t ~x",
  95         "~y (t + x) + ~t ~x y",
  96         "~y + ~t ~x",
  97         "t ~y + ~t x y",
  98         "t ~y + ~t x y",
  99         "t ~y + ~t x",
 100         "~y + ~t x",
 101         "t ~y + ~t y",
 102         "t ~y + ~t y",
 103         "(t y + ~t ~x ~y)",
 104         "(t y)",
 105         "t ~x y",
 106         "t ~x y",
 107         "~t x ~y + t ~x y",
 108         "~t ~y + t ~x y",
 109         "~x y",
 110         "~x y",
 111         "~x y + ~t x ~y",
 112         "~t ~y + ~x y",
 113         "y (~t x + t ~x)",
 114         "y (~t x + t ~x)",
 115         "~t x + t ~x y",
 116         "~t x + t ~x y",
 117         "y (~t + ~x)",
 118         "y (~t + ~x)",
 119         "~x y + ~t x",
 120         "~t + ~x y",
 121         "t ~x",
 122         "t ~x",
 123         "t ~x + ~t x ~y",
 124         "~t ~y + t ~x",
 125         "~x (t + y)",
 126         "~x",
 127         "~x (t + y) + ~t x ~y",
 128         "~x + ~t ~y",
 129         "t ~x + ~t x y",
 130         "t ~x + ~t x y",
 131         "t ~x + ~t x",
 132         "t ~x + ~t x",
 133         "~t y + t ~x",
 134         "~x + ~t y",
 135         "~(t x + ~t ~x ~y)",
 136         "~(t x)",
 137         "t (~x y + x ~y)",
 138         "t (~x y + x ~y)",
 139         "x ~y + t ~x y",
 140         "x ~y + t ~x y",
 141         "~x y + t x ~y",
 142         "~x y + t x ~y",
 143         "x ~y + ~x y",
 144         "x ~y + ~x y",
 145         "t (~x y + x ~y) + ~t x y",
 146         "t (~x y + x ~y) + ~t x y",
 147         "x (~t + ~y) + t ~x y",
 148         "x (~t + ~y) + t ~x y",
 149         "y (~t + ~x) + t x ~y",
 150         "y (~t + ~x) + t x ~y",
 151         "~(~x ~y + t x y)",
 152         "~(~x ~y + t x y)",
 153         "t (~x + ~y)",
 154         "t (~x + ~y)",
 155         "x ~y + t ~x",
 156         "~y + t ~x",
 157         "t ~y + ~x y",
 158         "~x + t ~y",
 159         "~(x y + ~t ~x ~y)",
 160         "~(x y)",
 161         "t (~x + ~y) + ~t x y",
 162         "t (~x + ~y) + ~t x y",
 163         "~(~t ~x + t x y)",
 164         "~(~t ~x + t x y)",
 165         "~(~t ~y + t x y)",
 166         "~(~t ~y + t x y)",
 167         "~(~t ~x ~y + t x y)",
 168         "~(t x y)",
 169         "t x y",
 170         "~t ~x ~y + t x y",
 171         "~t ~y + t x y",
 172         "~t ~y + t x y",
 173         "~t ~x + t x y",
 174         "~t ~x + t x y",
 175         "~t (~x + ~y) + t x y",
 176         "~(t (~x + ~y) + ~t x y)",
 177         "x y",
 178         "x y + ~t ~x ~y",
 179         "~t ~y + x y",
 180         "~(t ~y + ~x y)",
 181         "y (~t + x)",
 182         "~(x ~y + t ~x)",
 183         "~t + x y",
 184         "~(t (~x + ~y))",
 185         "~x ~y + t x y",
 186         "~x ~y + t x y",
 187         "~y (~t + ~x) + t x y",
 188         "~(y (~t + ~x) + t x ~y)",
 189         "~x (~t + ~y) + t x y",
 190         "~(x (~t + ~y) + t ~x y)",
 191         "~(t (~x y + x ~y) + ~t x y)",
 192         "~(t (~x y + x ~y) + ~t x y)",
 193         "~x ~y + x y",
 194         "~(x ~y + ~x y)",
 195         "~(~x y + t x ~y)",
 196         "~(~x y + t x ~y)",
 197         "~(x ~y + t ~x y)",
 198         "~(x ~y + t ~x y)",
 199         "~(t (~x y + x ~y))",
 200         "~(t (~x y + x ~y))",
 201         "t x",
 202         "t x + ~t ~x ~y",
 203         "x (t + ~y)",
 204         "~(~t y + t ~x)",
 205         "~t ~x + t x",
 206         "~(t ~x + ~t x)",
 207         "~(t ~x + ~t x y)",
 208         "~(t ~x + ~t x y)",
 209         "x (t + y)",
 210         "~(~x (t + y) + ~t x ~y)",
 211         "x",
 212         "~(~x (t + y))",
 213         "~t y + t x",
 214         "~(t ~x + ~t x ~y)",
 215         "~(t ~x)",
 216         "~(t ~x)",
 217         "~x ~y + t x",
 218         "~(~x y + ~t x)",
 219         "~y + t x",
 220         "~(y (~t + ~x))",
 221         "~(~t x + t ~x y)",
 222         "~(~t x + t ~x y)",
 223         "~(y (~t x + t ~x))",
 224         "~(y (~t x + t ~x))",
 225         "t ~y + x y",
 226         "~(~x y + ~t x ~y)",
 227         "~(~x y)",
 228         "~(~x y)",
 229         "~(~t ~y + t ~x y)",
 230         "~(~t x ~y + t ~x y)",
 231         "~(t ~x y)",
 232         "~(t ~x y)",
 233         "t y",
 234         "t y + ~t ~x ~y",
 235         "~t ~y + t y",
 236         "~(t ~y + ~t y)",
 237         "y (t + ~x)",
 238         "~(t ~y + ~t x)",
 239         "~(t ~y + ~t x y)",
 240         "~(t ~y + ~t x y)",
 241         "y (t + x)",
 242         "~(~y (t + x) + ~t ~x y)",
 243         "~(t ~y + ~t ~x)",
 244         "~(t ~y + ~t ~x y)",
 245         "y",
 246         "~(~y (t + x))",
 247         "~(t ~y)",
 248         "~(t ~y)",
 249         "~x ~y + t y",
 250         "~(x ~y + ~t y)",
 251         "~(~t y + t x ~y)",
 252         "~(~t y + t x ~y)",
 253         "~x + t y",
 254         "~(x (~t + ~y))",
 255         "~(x (~t y + t ~y))",
 256         "~(x (~t y + t ~y))",
 257         "x y + t ~x",
 258         "~(x ~y + ~t ~x y)",
 259         "~(~t ~x + t x ~y)",
 260         "~(t x ~y + ~t ~x y)",
 261         "~(x ~y)",
 262         "~(x ~y)",
 263         "~(t x ~y)",
 264         "~(t x ~y)",
 265         "t (x + y)",
 266         "~(~t (x + y) + t ~x ~y)",
 267         "x ~y + t y",
 268         "~(~t y + t ~x ~y)",
 269         "~x y + t x",
 270         "~(~t x + t ~x ~y)",
 271         "~(~x ~y + ~t x y)",
 272         "~(t ~x ~y + ~t x y)",
 273         "t (x + y) + x y",
 274         "~(~t (~x y + x ~y) + t ~x ~y)",
 275         "x + t y",
 276         "~(~x (~t y + t ~y))",
 277         "y + t x",
 278         "~(~y (~t x + t ~x))",
 279         "~(~x ~y)",
 280         "~(t ~x ~y)",
 281         "t",
 282         "~(~t (x + y))",
 283         "~(~t y)",
 284         "~(~t y)",
 285         "~(~t x)",
 286         "~(~t x)",
 287         "~(~t x y)",
 288         "~(~t x y)",
 289         "t + x y",
 290         "~(~t (~x y + x ~y))",
 291         "~(~t ~x)",
 292         "~(~t ~x y)",
 293         "~(~t ~y)",
 294         "~(~t x ~y)",
 295         "1",
 296         "1"
 297     };
 298
 299     public static final String[] YLUT_EQUATIONS = new String[] {
 300         "0",
 301         "0",
 302         "~t ~x y",
 303         "~t ~x",
 304         "~t x ~y",
 305         "~t ~y",
 306         "~t (~x y + x ~y)",
 307         "~t (~x + ~y)",
 308         "~t x y",
 309         "~t x y",
 310         "~t y",
 311         "~t y",
 312         "~t x",
 313         "~t x",
 314         "~t (x + y)",
 315         "~t",
 316         "t ~x ~y",
 317         "~x ~y",
 318         "~x (~t y + t ~y)",
 319         "~x (~t + ~y)",
 320         "~y (~t x + t ~x)",
 321         "~y (~t + ~x)",
 322         "~t (~x y + x ~y) + t ~x ~y",
 323         "~t (~x + ~y) + ~x ~y",
 324         "t ~x ~y + ~t x y",
 325         "~x ~y + ~t x y",
 326         "~t y + t ~x ~y",
 327         "~x ~y + ~t y",
 328         "~t x + t ~x ~y",
 329         "~x ~y + ~t x",
 330         "~t (x + y) + t ~x ~y",
 331         "~t + ~x ~y",
 332         "t ~x y",
 333         "t ~x y",
 334         "~x y",
 335         "~x y",
 336         "~t x ~y + t ~x y",
 337         "~t ~y + t ~x y",
 338         "~x y + ~t x ~y",
 339         "~t ~y + ~x y",
 340         "y (~t x + t ~x)",
 341         "y (~t x + t ~x)",
 342         "y (~t + ~x)",
 343         "y (~t + ~x)",
 344         "~t x + t ~x y",
 345         "~t x + t ~x y",
 346         "~x y + ~t x",
 347         "~t + ~x y",
 348         "t ~x",
 349         "t ~x",
 350         "~x (t + y)",
 351         "~x",
 352         "t ~x + ~t x ~y",
 353         "~t ~y + t ~x",
 354         "~x (t + y) + ~t x ~y",
 355         "~x + ~t ~y",
 356         "t ~x + ~t x y",
 357         "t ~x + ~t x y",
 358         "~t y + t ~x",
 359         "~x + ~t y",
 360         "t ~x + ~t x",
 361         "t ~x + ~t x",
 362         "~(t x + ~t ~x ~y)",
 363         "~(t x)",
 364         "t x ~y",
 365         "t x ~y",
 366         "t x ~y + ~t ~x y",
 367         "~t ~x + t x ~y",
 368         "x ~y",
 369         "x ~y",
 370         "x ~y + ~t ~x y",
 371         "x ~y + ~t ~x",
 372         "x (~t y + t ~y)",
 373         "x (~t y + t ~y)",
 374         "~t y + t x ~y",
 375         "~t y + t x ~y",
 376         "x (~t + ~y)",
 377         "x (~t + ~y)",
 378         "x ~y + ~t y",
 379         "~t + x ~y",
 380         "t ~y",
 381         "t ~y",
 382         "t ~y + ~t ~x y",
 383         "t ~y + ~t ~x",
 384         "~y (t + x)",
 385         "~y",
 386         "~y (t + x) + ~t ~x y",
 387         "~y + ~t ~x",
 388         "t ~y + ~t x y",
 389         "t ~y + ~t x y",
 390         "t ~y + ~t y",
 391         "t ~y + ~t y",
 392         "t ~y + ~t x",
 393         "~y + ~t x",
 394         "~(t y + ~t ~x ~y)",
 395         "~(t y)",
 396         "t (~x y + x ~y)",
 397         "t (~x y + x ~y)",
 398         "~x y + t x ~y",
 399         "~x y + t x ~y",
 400         "x ~y + t ~x y",
 401         "x ~y + t ~x y",
 402         "x ~y + ~x y",
 403         "x ~y + ~x y",
 404         "t (~x y + x ~y) + ~t x y",
 405         "t (~x y + x ~y) + ~t x y",
 406         "y (~t + ~x) + t x ~y",
 407         "y (~t + ~x) + t x ~y",
 408         "x (~t + ~y) + t ~x y",
 409         "x (~t + ~y) + t ~x y",
 410         "~(~x ~y + t x y)",
 411         "~(~x ~y + t x y)",
 412         "t (~x + ~y)",
 413         "t (~x + ~y)",
 414         "t ~y + ~x y",
 415         "~x + t ~y",
 416         "x ~y + t ~x",
 417         "~y + t ~x",
 418         "~(x y + ~t ~x ~y)",
 419         "~(x y)",
 420         "t (~x + ~y) + ~t x y",
 421         "t (~x + ~y) + ~t x y",
 422         "~(~t ~y + t x y)",
 423         "~(~t ~y + t x y)",
 424         "~(~t ~x + t x y)",
 425         "~(~t ~x + t x y)",
 426         "~(~t ~x ~y + t x y)",
 427         "~(t x y)",
 428         "t x y",
 429         "~t ~x ~y + t x y",
 430         "~t ~x + t x y",
 431         "~t ~x + t x y",
 432         "~t ~y + t x y",
 433         "~t ~y + t x y",
 434         "~t (~x + ~y) + t x y",
 435         "~(t (~x + ~y) + ~t x y)",
 436         "x y",
 437         "x y + ~t ~x ~y",
 438         "y (~t + x)",
 439         "~(x ~y + t ~x)",
 440         "~t ~y + x y",
 441         "~(t ~y + ~x y)",
 442         "~t + x y",
 443         "~(t (~x + ~y))",
 444         "~x ~y + t x y",
 445         "~x ~y + t x y",
 446         "~x (~t + ~y) + t x y",
 447         "~(x (~t + ~y) + t ~x y)",
 448         "~y (~t + ~x) + t x y",
 449         "~(y (~t + ~x) + t x ~y)",
 450         "~(t (~x y + x ~y) + ~t x y)",
 451         "~(t (~x y + x ~y) + ~t x y)",
 452         "~x ~y + x y",
 453         "~(x ~y + ~x y)",
 454         "~(x ~y + t ~x y)",
 455         "~(x ~y + t ~x y)",
 456         "~(~x y + t x ~y)",
 457         "~(~x y + t x ~y)",
 458         "~(t (~x y + x ~y))",
 459         "~(t (~x y + x ~y))",
 460         "t y",
 461         "t y + ~t ~x ~y",
 462         "y (t + ~x)",
 463         "~(t ~y + ~t x)",
 464         "~t ~y + t y",
 465         "~(t ~y + ~t y)",
 466         "~(t ~y + ~t x y)",
 467         "~(t ~y + ~t x y)",
 468         "y (t + x)",
 469         "~(~y (t + x) + ~t ~x y)",
 470         "y",
 471         "~(~y (t + x))",
 472         "~(t ~y + ~t ~x)",
 473         "~(t ~y + ~t ~x y)",
 474         "~(t ~y)",
 475         "~(t ~y)",
 476         "~x ~y + t y",
 477         "~(x ~y + ~t y)",
 478         "~x + t y",
 479         "~(x (~t + ~y))",
 480         "~(~t y + t x ~y)",
 481         "~(~t y + t x ~y)",
 482         "~(x (~t y + t ~y))",
 483         "~(x (~t y + t ~y))",
 484         "x y + t ~x",
 485         "~(x ~y + ~t ~x y)",
 486         "~(x ~y)",
 487         "~(x ~y)",
 488         "~(~t ~x + t x ~y)",
 489         "~(t x ~y + ~t ~x y)",
 490         "~(t x ~y)",
 491         "~(t x ~y)",
 492         "t x",
 493         "t x + ~t ~x ~y",
 494         "~t ~x + t x",
 495         "~(t ~x + ~t x)",
 496         "x (t + ~y)",
 497         "~(~t y + t ~x)",
 498         "~(t ~x + ~t x y)",
 499         "~(t ~x + ~t x y)",
 500         "x (t + y)",
 501         "~(~x (t + y) + ~t x ~y)",
 502         "~t y + t x",
 503         "~(t ~x + ~t x ~y)",
 504         "x",
 505         "~(~x (t + y))",
 506         "~(t ~x)",
 507         "~(t ~x)",
 508         "~x ~y + t x",
 509         "~(~x y + ~t x)",
 510         "~(~t x + t ~x y)",
 511         "~(~t x + t ~x y)",
 512         "~y + t x",
 513         "~(y (~t + ~x))",
 514         "~(y (~t x + t ~x))",
 515         "~(y (~t x + t ~x))",
 516         "t ~y + x y",
 517         "~(~x y + ~t x ~y)",
 518         "~(~t ~y + t ~x y)",
 519         "~(~t x ~y + t ~x y)",
 520         "~(~x y)",
 521         "~(~x y)",
 522         "~(t ~x y)",
 523         "~(t ~x y)",
 524         "t (x + y)",
 525         "~(~t (x + y) + t ~x ~y)",
 526         "~x y + t x",
 527         "~(~t x + t ~x ~y)",
 528         "x ~y + t y",
 529         "~(~t y + t ~x ~y)",
 530         "~(~x ~y + ~t x y)",
 531         "~(t ~x ~y + ~t x y)",
 532         "t (x + y) + x y",
 533         "~(~t (~x y + x ~y) + t ~x ~y)",
 534         "y + t x",
 535         "~(~y (~t x + t ~x))",
 536         "x + t y",
 537         "~(~x (~t y + t ~y))",
 538         "~(~x ~y)",
 539         "~(t ~x ~y)",
 540         "t",
 541         "~(~t (x + y))",
 542         "~(~t x)",
 543         "~(~t x)",
 544         "~(~t y)",
 545         "~(~t y)",
 546         "~(~t x y)",
 547         "~(~t x y)",
 548         "t + x y",
 549         "~(~t (~x y + x ~y))",
 550         "~(~t ~y)",
 551         "~(~t x ~y)",
 552         "~(~t ~x)",
 553         "~(~t ~x y)",
 554         "1",
 555         "Constant 1"
 556     };
 557 }