Email Record: Electronic design automation for IC system design, verification, and testing /