Yeah - everywhere seems to claim Liberty is an IEEE standard but it doesn't seem to actually be a standard

right, is actually a open specification from Synopsys by name clk_width seems user defined.