Vitalsource Technologies, Inc. Functional Design Errors In Digital Circuits