https://www.computer.org/csdl/mags/co/1978/05/01646958.pdf "Using Emulation to Verify Formal Architechture Descriptions" (in this case PDP-11)

The tidbit about ASHC and V bit is interesting.