Functional Design Errors in Digital Circuits - Chang, Kai-hui; Bertacco, Valeria; Markov, Igor L.; Markov, Igor Leonidovich (Springer Netherlands, 2009)