Если длина состояния алгоритма зависит от входов в алгоритм, убедитесь, что вы используете входы, которые выбирают ту же длину состояния при генерации файла MEX и запуске анализатора. В противном случае анализатор не выполняет верификацию.
Алгоритм в функции FIR_Mean не имеет состояний, когда mean(input) > 0, и имеет состояния в противном случае.
function [ Output ] = FIR_Mean( input ) persistent Filter if isempty(Filter) Filter = dsp.FIRFilter('Numerator', fir1(12,0.4)); end if (mean(input) > 0) % stateless Output = mean(input); else % this path contains states yFilt = Filter(input); Output = mean(yFilt); end end
Когда вы активируете автоматическое обнаружение длины состояния этой функции, анализатор обнаруживает длину состояния 14 выборки.
dspunfold FIR_Mean -args {randn(10,1)} -s auto -f true
Analyzing input MATLAB function FIR_Mean Creating single-threaded MEX file FIR_Mean_st.mexw64 Searching for minimal state length (this might take a while) Checking stateless ... Insufficient Checking 10 ... Insufficient Checking Infinite ... Sufficient Checking 20 ... Sufficient Checking 15 ... Sufficient Checking 12 ... Insufficient Checking 13 ... Insufficient Checking 14 ... Sufficient Minimal state length is 14 Creating multi-threaded MEX file FIR_Mean_mt.mexw64 Creating analyzer file FIR_Mean_analyzer
Запустите функцию анализатора. Используйте вход с четырьмя различными системами координат. Проверьте соответствие выходов.
FIR_Mean_analyzer(randn(10*4,1))
Analyzing multi-threaded MEX file FIR_Mean_mt.mexw64 ...
Latency = 8 frames
Speedup = 0.5x
Warning: The output results of the multi-threaded MEX file FIR_Mean_mt.mexw64 do not match
the output results of the single-threaded MEX file FIR_Mean_st.mexw64. Check that you
provided the correct state length value to the dspunfold function when you generated the
multi-threaded MEX file FIR_Mean_mt.mexw64. For best practices and possible solutions to
this problem, see the 'Tips' section in the dspunfold function reference page.
> In coder.internal.warning (line 8)
In FIR_Mean_analyzer
ans =
Latency: 8
Speedup: 0.5040
Pass: 0Pass = 0и функция выдает предупреждающее сообщение, указывающее возможную причину отказа в верификации.
Длина состояния алгоритма зависит от входа. Когда mean(input) > 0алгоритм не имеет гражданства. В противном случае алгоритм содержит состояния. При генерации файла MEX входные параметры выбирают путь кода с состояниями. Когда анализатор вызывается, многокадровый вход выбирает путь кода без состояний. Следовательно, длина состояния отличается в обоих случаях, приводящих к отказу верификации.
Рекомендуется использовать входы, которые выбирают ту же длину состояния при генерации файла MEX и запуске анализатора.
Лучшие практики см. в разделе 'Советы' dspunfold.