Functional verification of microprocessors by means of logic simulation is a subarea of electronic design automation (EDA). A brief history of EDA is provided here. The Verilog hardware description language (HDL) was invented in 1984.¹ Java is well known for many things but not usually as the language for writing a microprocessor verification environment. Nevertheless, I have found Java useful for such a task, not only for the test bench, but also as the HDL of the design under verification (DUV) itself.