I agree with the above, perhaps we should add the spec version?
// 1164.1 pragma rtl_translate_off
other pragmas I'd like to see:
// Define pin assignment.
// Hierarchal assignment should be possible.
// Pin assignment example 1
// pragma signal_name pin_number nnn
// Pin assignment example 2
// pragma top_module_name1.lower_module_name2.signal_name pin_number nnn
I know we can sometimes infer the following, but I'd rather command the
hardware to synthesize a certain way.
// Assign signal to clock enable if supported by hardware.
// pragma signal_name clock_enable
// Assign signal to global clock resource if supported by hardware.
// pragma signal_name global_clock
// Assign signal to global reset resource if supported by hardware.
// pragma signal_name global_reset
// Assign signal to global preset resource if supported by hardware.
// pragma signal_name global_preset
// Don't collapse signal and use this signal name in place of any other
naming option.
// pragma signal_name preserve_signal