Functional Design Errors in Digital Circuits - Chang, Kai-hui (Springer Netherlands, 2020)