Suspicious definition of erlang distribution in Verilog-2005 spec
I was confused about this because I was confused by the parameter naming in the Verilog spec and I made a basic algebra error.
The mean can be given by k / lambda. The sampling formula requires 1 / lambda, which is the same as (k / lambda) / k.
Taking mean as an argument instead of lambda might have been considered more user friendly.