Very nice, I like the part about the simulator. There are two things I want to add, first you should activate the equations checkbox in the compiler options
Attachment:
File comment: Compiler Options Ctrl+W
compileropt.png [ 81.45 KiB | Viewed 767 times ]
this will generate a .doc file that will show you the equations created by WinCUPL and also allows you to check the number of product terms per OLMC, sometimes you will be surprised.
Also I advice to use the FIELD statement as it allows you to produce a more readable format for the select signals that depend on a address range, here an example of one of my projects
Code:
FIELD ADDRESS = [A15..0];
RAM = IML & !RW
# ADDRESS:[0000..03FF] & !IML
# ADDRESS:[0C00..BFFF] & !IML
# ADDRESS:[C100..FFFF] & !IML & RW
# ADDRESS:[D000..FFFF] & !IML & !RW & !Q2;
Note that the field statement does not require that all signals actually exist. In the above example none of the ranges depend on any of the signals A0..A7 and therefore no pins must be defined for them, still WinCUPL will do the right thing.