Tom Hawkins wrote:
Just another [not so small] Icarus request...
It would be great if I could extract comment pragmas -- particularly PSL
assertions -- from Verilog source code. InFormal can process separate
PSL files, but most designers prefer to embed PSL directly in the RTL,
such as:
Icarus Verilog supports Verilog-2001 style attributes instead of
the icky yucky comment pragma:-P
In practice, I don't know how I would support comment pragmas
given the current structure of the compiler.
--
Steve Williams "The woods are lovely, dark and deep.
steve at icarus.com But I have promises to keep,
http://www.icarus.com and lines to code before I sleep,
http://www.picturel.com And lines to code before I sleep."
