Similarly, IBM has used formal methods in the verification of power gates, registers, and functional verification of the IBM Power7 microprocessor.
Слично томе, IBM је користио формалне методе у верификацији моћи капије, регистри, и функционална верификација IBM Power7 микропроцесора.