Если у вас есть Simulink® модель и с логическими и с арифметическими операциями, считайте анализ только логическими операциями.
Программное обеспечение Simulink Design Verifier™ не поддерживает нелинейную арифметику чисел с плавающей запятой, как это происходит при умножении или делении, если один из умножить операндов или делителя не является константой.
Чтобы упростить модели, которые содержат целые числа или числа с плавающей запятой, программное обеспечение сопоставляет расчеты модели в выражения Логических переменных. Например, программное обеспечение может представлять восьмибитный номер в виде набора восьми булевых значений с одним для каждой цифры. Это может представлять поразрядный OR операция двух восьмибитных целых чисел как восемь разделяет логический OR операции.
Отображение проблем одного типа данных в Логические переменные является комплексным, и эта сложность увеличения, когда программное обеспечение выполняет такое отображение. Программное обеспечение обрабатывает модели с преимущественно логическими сигналами более эффективно, чем оно делает тех с большим целым числом или сигналами с плавающей точкой.
Примечание
Программное обеспечение Simulink Design Verifier может обработать входные параметры с плавающей точкой, когда их значения влияют на проект через линейные неравенства, такие как x <y или a> 0.
Кроме того, введите сложность, может следовать из определенных операций броска. Например, кастинг double к int8 может ввести нелинейность в определенных ситуациях.