delay modeling styles and indicates which styles behave like real ... delays, and Verilog command line switches that are.
www-inst.eecs.berkeley.edu