Functional Design Errors in Digital Circuits door Kai-hui Chang, Igor Markov & Valeria Bertacco