Formal Methods For Hardware Verification door Marco Bernardo