Title: Hardware verification by formal proof