Virtuálny verifikačný panel s členmi XOR a AND - Siebert, Miroslav (STU v Bratislave FIIT, 2009)