Hardware Verification

Application of formal techniques to chip designs