Design, Automation, and Test in Europe - Lauwereins, Rudy; Madsen, Jan; Lauwereins, Rudy; Madsen, Jan (Springer Netherlands, 2008)