Add synthesis views