@inproceedings{VersenHayn2014, author = {Versen, Martin and Hayn, M.}, title = {Introduction to Verification and Test Using a 4-Bit Arithmetic Logic Unit Including a Failure Module in a Xilinx XC9572XL CPLD}, series = {Proceedings of the 40th ISTFA 2014}, booktitle = {Proceedings of the 40th ISTFA 2014}, year = {2014}, language = {en} }