front end verification

finised most of the front end verification.