Email Record: Introduction to formal hardware verification /