This can be very expensive and is only practically worthwhile if the cost of mistakes is extremely high (e.g., in critical parts of microprocessor design).
Tai gali būti labai brangu ir praktiškai verta, jei klaidų kaina yra ypatingai didelė (pvz.: kritinėse mikroprocesorių dizaino dalyse).