TY - CHAP A1 - Versen, Martin A1 - Hayn, M. T1 - Introduction to Verification and Test Using a 4-Bit Arithmetic Logic Unit Including a Failure Module in a Xilinx XC9572XL CPLD T2 - Proceedings of the 40th ISTFA 2014 KW - Microelectronics KW - Xilinx XC9572XL CPLD Y1 - 2018 ER -