Formal Hardware Verification | lit.salon