Wed Sep 5 13:06:19 EDT 2018

CPU Emulation

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
problem level.