Моделирование на языке SystemC в процессе разработки протоколов передачи данных

передача данных моделирование верификация разработка протоколов коммуникационные протоколы протоколы передачи данных

Анализ оперативных переключений в сетях электроснабжения, Методика построения систем объективного контроля авиационных радиолокационных комплексов, ...

В. Л. Оленев МОДЕЛИРОВАНИЕ НА ЯЗЫКЕ SystemC В ПРОЦЕССЕ РАЗРАБОТКИ ПРОТОКОЛОВ ПЕРЕДАЧИ ДАННЫХ Аннотация. <...> Описываются место моделирования в процессе разработки коммуникационных протоколов, возможности моделирования и те цели, которые можно достичь, используя модели на различных этапах разработки. <...> Рассмотрен язык SystemC как наиболее адаптированный для написания такого рода моделей, имеющий преимущества перед другими языками; доказывается его состоятельность для моделирования и верификации. <...> Процесс проектирования протоколов является универсальной и многоплановой задачей, которая стремительно развивается. <...> В настоящее время проектирование протоколов сопряжено с рядом трудностей, связанных с увеличением сложности проектов, повышением требований к надежности и потребляемой мощности изделий, работающих по данному протоколу, а также необходимостью завершения проекта в кратчайшие сроки. <...> Традиционный маршрут проектирования не позволяет удовлетворить всем этим требованиям. <...> 1 Проектирование протоколов передачи данных При проектировании современных протоколов передачи данных и реализующих их сложнофункциональных систем используется маршрут, показанный на рис. <...> Он включает в себя несколько основных этапов: – концептуальное проектирование: выбор направления разработки, исследование и анализ существующих средств и протоколов, разработка драфтовой версии спецификации; – спецификация: получение финальной спецификации протокола, а также его моделей на языках высокого уровня (обычно на SystemC/SDL); – логическое проектирование: трансформация исполняемой спецификации проекта на уровень регистровых передач (на языках Verilog/VHDL) и далее на вентильный уровень; 60 4 (12), 2009 Технические науки. <...> Поволжский регион – верификация: проверка протокола и различных решений на соответствие исходной спецификации и другим требованиям в процессе проектирования и детализации; – физическое проектирование: начинается <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт