Email Record: Correct by construction approaches for soc design /