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