Text this: Functional Design Errors in Digital Circuits