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

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