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