Describir: Virtuálny verifikačný panel s členmi AND-NOR a NAND