Here is PDP8 verilog model. 

  
   Currently
	 PDP8E	works as PDP8E with EAE.
	 RF08 works.
  	 DK8e	works, but is untested.