Hi, Tom
there are no other timing waveform diagrams except provided in datsheet.
Also let me give some comments below:
>On Figure 12, the WE4 parameter is shown from EIM_ADDRxx to EIM_BCLK
>which does not make sense.
It does make sense because table 37 gives WE4 parameter with negative value,
that is "WE4 parameter is the clock to output time from BCLK to the EIM_ADDRxx output"
as you correctly assumed.
Figures 12, 13 are synchronous waveforms that is all EIM timings are referenced from BCLK,
as correctly depicted on these pictures.