Catapult Coverage
критие на кодове, осведомени с HLS, включително поддръжка за изявление, клон, условие, изразяване (FEC) и покритие за достъп до масив плюс функционално покритие, вдъхновено от SystemVerilog, с поддръжка за покривни групи, покривни точки, кошчета и кръстове.
