Algorithms and Patterns for implementing an ICE Processor Emulator

[obiwanjacobi]

I am trying to implement a Z80 ICE emulator to run in a PSoC5 and have the beginnings of the code working.
However I have some questions about the correctness of my approach and created a StackOverflow post for it.
https://stackoverflow.com/questions/57643974/what-algorithms-and-or-patterns-to-use-for-an-in-circuit-processor-emulator-z80

To be clear: this is software that exactly tries to behave like a real Z80. It changes state on every (half) clock-cycle. It activates signals (RD/WR/MEMREQ etc) at the correct places in time etc.

Please chime in if you have any experience writing this kind of software or know any theory.

[project]
https://github.com/obiwanjacobi/Zingularity/tree/master/Source/Jacobi.CpuZ80