Yes, I have some experience with 65c816 CPU. I made simple 86c816 Adpater (http://hardware.atari8.info/65816.php) and Turbo816. Here are files for GALs:
GAL1
*IDENTYFICATION
 clk_man;
*TYPE
 GAL16V8
*PINS
  PHI1S         = 2,     
  PHI1F         = 5,     
  SLOW            = 6,     
  Reset         = 7,     
  Halt            = 8,     
  RDY            = 3,     
  RW_in         = 9,     
  Q0.r            = 16,    
  Q1.r            = 17,    
  Q2.r            = 15,
  PHI1.t        = 18,     
  Clock.t       = 19,
  Bank_L.t      = 13,
  RW_out.t      = 14,
  A_Bus_EN.t    = 12;
*BOOLEAN-EQUATIONS
  /Q2 = /Q1 & Q0 & Reset;
  /Q1 = /Q1 & Q0 & Reset + Q2 & /Q0 & Reset;
  /Q0 = Q2 & Q1 & Reset + /Q2 & /Q1 & Q0 & Reset;
  Clock.e = Vcc;
  Clock = Q2 & Q1 & Q0 & SLOW & /PHI1 + Q2 & Q1 & /Q0 & PHI1F
    + Q2 & /Q1 & /Q0 & /PHI1F + Q2 & /Q1 & Q0 & /SLOW & /PHI1
    + /Q2 & /Q1 & Q0 & PHI1S + /Q2 & /Q1 & /Q0 & /PHI1S
    + /Reset;
 %Outputs%
  PHI1.e = Vcc;
  PHI1 = Q2 & Q1 & Q0 & PHI1S + Q2 & /Q1 & Q0 & PHI1F;
   Bank_L.e = Vcc;
  /Bank_L   = /PHI1 + /RDY;
   RW_out.e = Vcc;
  /RW_out   = Q2 & Q1 & Q0 & Halt & /RW_in
        + /Q2 & /Q1 & /Q0 & Halt & /RW_in;
   A_Bus_EN.e = Vcc;
  /A_Bus_EN   = Q2 & Q1 & Q0 & Halt + /Q2 & /Q1 & /Q0 & Halt;
*END 
 Bankdecoder and AV generator (GAL2)
*IDENTYFICATION
 bankman;
*TYPE
  GAL16V8;
*PINS
 %Inputs%
 BA7    = 1,
 BA6    = 2,
 BA5    = 3,
 BA4     = 4,
 BA3    = 5,
 BA2    = 6,
 BA1    = 7,
 BA0    = 8,
 PHI2F  = 9,
 DCLK    = 11,
 PHI2    = 17,
 A_Bus_EN  = 13,
 %Outputs%
 AV    = 12,
 Data_EN = 16,
 OE = 15,
 RAM    = 18,
 SLOW    = 19;
*BOOLEAN-EQUATIONS
 /AV     = /DCLK & /PHI2F + PHI2F;
 /SLOW = /BA0 & /BA1 & /BA2 & /BA3 & /BA4 & /BA5 & /BA6 & /BA7;
 /Data_EN = /A_Bus_EN & PHI2;
 /RAM = BA1 & /BA2 & /BA3 & /BA4 & /BA5 & /BA6 & /BA7;
 /OE  = PHI2F & /DCLK + /PHI2F & DCLK;
*END
I had some problems with Turbo816 so I designed Warp4 with 1MB linear memory (schems soon).
Now I'm working on a double CPU card.