Title: A formal hardware verification methodology and its application to a network interface drip