module declaration attribute

[Geoffrey Coram]

In an e-mail discussion prior to the creation of the subcommittee,
one member suggested:

Add compact model attribute so that Verilog-A compiler can do more optimization
for compact model. [Vendor A] uses "(*compact_model="mosfet"*)" for MOSFET,
it should also support BJT and Diode. Hope model developer could add such
attribute when they implement the model.

This would look like

(* compact_model="mosfet" *)
module PSP103(d, g, s, b);

etc.

Is this a good idea?

[Geoffrey Coram]

What sorts of optimizations might this enable?

What is the list of device types -- is it just
generic mos/bjt, or does one differentiate
bulk mosfet from SOI or LDMOS?