ईमेल रिकॉर्ड: Advances in formal design methods for CAD