TruthTableFile ← "///users/ross.pa/tamarin/wtspec.tt";
TileSet ← "///users/ross.pa/tamarin/smalldecpieces.dale";
Optimize ← FALSE;
ExtraRows ← 30;
ExtraOrColumns ← 30;
Inputs ← LIST["+FIRSTCY", "+SECONDCY", "+MEMREAD", "+WRITE", "#OEFLG", "#UW2ADDR-2", "#UW2ADDR-1", "#UW2ADDR-0", "PHICLOCK"];
Outputs ← LIST["WTPCN", "WTMARD2", "WTPCO", "WTPCE"];
PrintRows ← 5;