Virtuálny verifikačný panel s členmi NAND - Fulop, Martin, 1987- (STU v Bratislave FIIT, 2009)