"Favorite code read ... Z3 (Verilog)"

As someone working in ASIC design and verification, that code is not a good read IMO. I am stunned it even synthesized. The use of "initial" and "task" is not generally for describing hardware.