Email Record: Logic synthesis and verification /