Обнаружьте переполнение

В этом примере показано, как обнаружить переполнение с помощью приложения Fixed-Point Converter. В числовой стадии тестирования в процессе преобразования вы принимаете решение симулировать масштабируемое использование фиксированной точки, удваивается. Приложение затем сообщает, какие выражения в сгенерированном коде производят значения, которые переполняют типа данных с фиксированной точкой.

Необходимые условия
Создайте новую папку и скопируйте соответствующие файлы
Откройте приложение Fixed-Point Converter
Выберите Source Files
Определите входные типы
Преобразуйте в фиксированную точку
Протестируйте численные данные и проверку на переполнение

Необходимые условия

Этот пример требует следующих продуктов:

MATLAB^®
Fixed-Point Designer™
Компилятор C
См. поддерживаемые компиляторы.
Можно использовать mex -setup изменить компилятор по умолчанию. См. Компилятор Значения по умолчанию Изменения.

Создайте новую папку и скопируйте соответствующие файлы

Создайте локальную рабочую папку, например, c:\overflow.
Превратитесь в docroot\toolbox\fixpoint\examples папка. В командной строке MATLAB, введите:
```
cd(fullfile(docroot, 'toolbox', 'fixpoint', 'examples'))
```

Скопируйте overflow.m и overflow_test.m файлы к вашей локальной рабочей папке.

Это - лучшая практика, должен создать отдельный тестовый скрипт, чтобы сделать пред - и последующая обработка, такая как:

Загрузка входных параметров.
Подготовка входных значений.
Вывод результатов испытаний.

Для получения дополнительной информации смотрите, Создают Тестовый файл.

Ввод	Имя	Описание
Код функции	`overflow.m`	Функция MATLAB точки входа
Тестовый файл	`overflow_test.m`	Скрипт MATLAB, который тестирует `overflow.m`

Функция переполнения

Функция overflow_test

Вы используете этот тестовый файл для входных define типов для bX, и reset, и, позже, чтобы проверить версию фиксированной точки алгоритма.

function overflow_test
    % The filter coefficients were computed using the FIR1 function from
    % Signal Processing Toolbox.
    %   b = fir1(11,0.25);
    b = [-0.004465461051254
         -0.004324228005260
         +0.012676739550326
         +0.074351188907780
         +0.172173206073645
         +0.249588554524763
         +0.249588554524763
         +0.172173206073645
         +0.074351188907780
         +0.012676739550326
         -0.004324228005260
         -0.004465461051254]';
    
    % Input signal
    nx = 256;
    t = linspace(0,10*pi,nx)';

    % Impulse
    x_impulse = zeros(nx,1); x_impulse(1) = 1;

    % Max Gain
    % The maximum gain of a filter will occur when the inputs line up with the
    % signs of the filter's impulse response.
    x_max_gain = sign(b)';
    x_max_gain = repmat(x_max_gain,ceil(nx/length(b)),1);
    x_max_gain = x_max_gain(1:nx);


    % Sums of sines
    f0=0.1; f1=2;
    x_sines = sin(2*pi*t*f0) + 0.1*sin(2*pi*t*f1);

    % Chirp
    f_chirp = 1/16;                  % Target frequency
    x_chirp = sin(pi*f_chirp*t.^2);  % Linear chirp

    x = [x_impulse, x_max_gain, x_sines, x_chirp];
    titles = {'Impulse', 'Max gain', 'Sum of sines', 'Chirp'};
    y = zeros(size(x));

    for i=1:size(x,2)
        reset = true;
        y(:,i) = overflow(b,x(:,i),reset);
    end

    test_plot(1,titles,t,x,y)

end
function test_plot(fig,titles,t,x,y1)
    figure(fig)
    clf
    sub_plot = 1;
    font_size = 10;
    for i=1:size(x,2)
        subplot(4,1,sub_plot)
        sub_plot = sub_plot+1;
        plot(t,x(:,i),'c',t,y1(:,i),'k')
        axis('tight')
        xlabel('t','FontSize',font_size);
        title(titles{i},'FontSize',font_size);
        ax = gca;
        ax.FontSize = 10;
    end
    figure(gcf)
end

Откройте приложение Fixed-Point Converter

Перейдите к папке работы, которая содержит файл для этого примера.
На вкладке MATLAB Toolstrip Apps, под Code Generation, кликают по значку приложения.

Выберите Source Files

Добавить функцию точки входа overflow к проекту просмотрите к файлу overflow.m, и затем нажмите Open. По умолчанию приложение сохраняет информацию и настройки для этого проекта в текущей папке в файле с именем overflow.prj.
Нажмите Next, чтобы перейти к шагу Define Input Types.
Экраны приложения overflow.m для нарушений регулярной кодовой последовательности и проблем готовности преобразования фиксированной точки. Приложение не находит проблемы в overflow.m.

Определите входные типы

На странице Define Input Types, чтобы добавить overflow_test как тестовый файл, просмотрите к overflow_test.m, и затем нажмите Open.
Нажмите Autodefine Input Types.
Запуски тестового файла. Приложение решает из тестового файла что входной тип b double(1x12)X double(256x1), и reset logical(1x1).
Нажмите Next, чтобы перейти к шагу Convert to Fixed Point.

Преобразуйте в фиксированную точку

Приложение генерирует оснащенную MEX-функцию для вашей функции MATLAB точки входа. Отображения приложения скомпилировали информацию — тип, размер, и сложность — для переменных в вашем коде. Для получения дополнительной информации вид на море и Изменяет Переменную информацию.
На вкладке Function Replacements функции отображений приложения, которые не поддерживаются для преобразования фиксированной точки. Смотрите Выполнение Симуляции.
Чтобы просмотреть fimath настройки, кликните по стреле Settings. Установите fimath Product mode и Sum mode к KeepLSB. Эти настройки моделируют поведение целочисленных операций на языке C.
Нажмите Analyze.
Тестовый файл, overflow_test, запуски. Минимум симуляции отображений приложения и максимум располагаются на вкладке Variables. Используя данные об области значений симуляции, программное обеспечение предлагает фиксированные точки для каждой переменной на основе настроек предложения по типу по умолчанию и отображает их в столбце Proposed Type.
Чтобы преобразовать алгоритм с плавающей точкой в фиксированную точку, нажмите Convert.
Программное обеспечение подтверждает предложенные типы и генерирует версию фиксированной точки функции точки входа.
Если ошибки и предупреждения происходят во время валидации, отображения приложения их на вкладке Output. Смотрите Типы Проверки.

Протестируйте численные данные и проверку на переполнение

Кликните по стреле Test. Проверьте, что тестовым файлом является overflow_test.m. Выберите Use scaled doubles to detect overflows, и затем нажмите Test.
Выполнение приложения тестовый файл, что вы раньше для входных define типов тестировали фиксированную точку код MATLAB. Поскольку вы выбрали, чтобы обнаружить переполнение, это также запускает симуляцию с помощью масштабируемых двойных версий предложенных фиксированных точек. Масштабируемый удваивается, хранят их данные в с двойной точностью, с плавающей точкой, таким образом, они выполняют арифметику в полном спектре. Поскольку они сохраняют свои настройки фиксированной точки, они могут сообщить, когда расчет выходит из области значений фиксированной точки.
Запуски симуляции. Приложение обнаруживает переполнение. Приложение сообщает о переполнении относительно вкладки Overflow. Чтобы подсветить выражение, которое переполнилось, кликните по переполнению.
Определите, было ли это суммой или умножением, которое переполнилось.
В настройках fimath, набор Product mode к FullPrecision, и затем повторите преобразование и протестируйте фиксированную точку снова.
Переполнение все еще происходит, указывая, что это - сложение в выражении, которое переполняется.

Документация Fixed-Point Designer

Поддержка

Сообщество Экспонента