design doc and verfication