Wed Sep 5 13:06:19 EDT 2018
With Seq, CPU emulation is at the level of sequential logic. Is there
a way to relate this level to a higher one?
E.g. one thing I'd like to do is to create a PIC18 code generator /
emulator. Should I emulate the PIC18 at a hardware level? That seems
like a lot of work.
The main question: how to relate different semantic levels? This does
not seem trivial at all!
The main trick seems to be invariance of properties, done at the