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