Этот пример показывает, как совершенствовать модель для мертвой логики. Модель sldvSlicerdemo_dead_logic состоит из путей к мертвой логике, которые вы совершенствовали для анализа зависимостей.
1. Откройте модель sldvSlicerdemo_dead_logic, и затем выберите Analysis> Model Slicer.
open_system('sldvSlicerdemo_dead_logic');
Откройте подсистему Controller и добавьте выходной порт throt как отправная точка.
Образцовый Нож подсвечивает восходящую зависимость выходного порта throt.
2. В Образцовом менеджере по Срезу выберите Refine Dead Logic.
3. Нажмите Get Dead Logic Data.
4. Задайте Аналитическое время и запустите анализ. Можно импортировать существующие результаты мертвой логики файла sldvData или загрузить существующие данные .slslicex для анализа. Для получения дополнительной информации смотрите, Совершенствовали Подсвеченную Модель при помощи Существующего .slslicex или Результатов Мертвой логики.
Когда вход set равен true, вход False, чтобы переключиться удален для анализа зависимостей. Точно так же выводом блока OR всегда является true и удаленный из образцового среза.