ईमेल रिकॉर्ड: New data structures and algorithms for logic synthesis and verification