VLSI Testing and Verification papers · DTU · PaperVault