Introduction As semiconductor systems increase in size, configurability, and software interaction, verification effort increasingly determines overall programme risk. Simulation remains the dominant verification technique, yet it cannot exhaustively explore design behaviour. Formal verification offers mathematical exhaustiveness, but its application introduces strategic issues that extend far be