Into the first link I can read this:
Much of my testing was conducted on the MC68EC000 processor
The MC68EC000 is different from the 68000. I have my Core let run against a real MC68HC000 and can not find software differences when the Kickstart or some programms are running. So I know all importand Instructions works correct. About never used Instructions I can not say anything.
Example: I have found no program for the AMIGA that use CHK or MOVEP Instructions.
About the doc on the second link. My Core use no prefetch. My Core use classical Fetch/Execute last - Decode - Fetch next/Execute - order.
Thats why most Instrucions can execute in 2 clocks. The Bus wrapper expand this to 4 clocks.
But for the minimig is the prefetch not so important. The core is fast enough to decode the opcode between as=high. So the timing is the same as the 68000 timing.
On my DE2 Board with a real MC68EC000 and running ANARCHY1 DEMO I can see some rendering error but with the softcore I can not.
I dont know what happens but I think my core has a high Betatested Level. (Upss I hope you can understood my - sorry for my poor english)
Viele Grüße
TobiFlex