Formal Methods for Hardware Verification (SFM 2006)