Functional Design Errors in Digital Circuits