>> I can prepare a similar proposal for Verilog too.
Please send your proposal to Ken Coffman as he is the Semantics task leader.
- bhasker