Introduction to Formal Hardware Verification | lit.salon