full circuit verification

full circuit verification