<p>the existence of Verilog-XL implies the existence of Verilog-M and Verilog-XXL</p>