Correct by construction approaches for soc design (2014)