For example, an SMT formula allows us to model the datapath operations of a microprocessor at the word rather than the bit level.
Например, SMT-формула позволяет моделировать операции функции модулей микропроцессора на уровне слов, а не на уровне битов.