I can see why your experience might lead you to that particular bias. However, that's not where he's coming from. If you've followed his blog over the years, you'll see that he believes you cannot be a decent hardware engineer unless you also have some formal verification chops and use formal methods as part of your design methodology. That's his bias. He expects a practicing HDL engineer to write their own verification proofs.