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
The comment pragma is the first indication a language has gone south. Feature bloat is the next. Enter SystemVerilog... :-(
In practice, I don't know how I would support comment pragmas given the current structure of the compiler.
I figured as much. If I get some time, I'll look into it.
-Tom
