This patch extends the compiler to support all specparam declarations allowed by the 1364-2005 standard. For compatibility with other simulators, it allows specparam values to be used in any constant expression, but outputs a warning message and disables run-time annotation of a specparam if it is used in an expression that must be evaluated at compile time.
Annotation of specparam values is not yet supported.
Also attached are a couple of new regression tests for the test suite. These need no special compiler flags or gold files.