Design reencoding