Towards verification-guided hardware synthesis for security Grant uri icon