Added Design.txt document. Updated clock behavior for aborting.