Можно сделать модель с конечной разрядностью, соответствующую арифметическим устройствам в процессоре, и посмотреть EVM которую вносят шумы квантования и неточности интерполяции, нужно чтобы эта EVM была много меньше чем та которую шум даёт в наихудшем рабочем случае.
|