Title: Hardware verification using higher-order logic