Читать онлайн «Стиль программирования на языке Verilog и руководящие указания»

СТИЛЬ ПРОГРАММИРОВАНИЯ НА ЯЗЫКЕ VERILOG

И РУКОВОДЯЩИЕ УКАЗАНИЯ ПО ПРОГРАММИРОВАНИЮ



Г. Дайкема, П. Моншке, Д. Нельсен, М. Паркин,
Д. Петолино, Х. М. Йе



Источник: Verilog Style and Coding Guidelines,
SUN Microsystems




Перевод под редакцией Грушина А. И. выполнили
Ефремова О. А. (введение и глава 1) и Грушин А. И.
(глава 2, приложения А и B)



ВЕРСИЯ 3 (24. 09. 92)







МОСКВА - 1992СОДЕРЖАНИЕ

Введение -  PAGEREF ВВЕДЕНИЕ \h \* MERGEFORMAT
3
Структура документа -  PAGEREF СТРУКТУРАДОКУМЕНТА \h \* MERGEFORMAT
3
1. Основные правила -  PAGEREF ОСНОВНЫЕПРАВИЛА \h \* MERGEFORMAT
4
1. 1 Правила именования -  PAGEREF ПРАВИЛАИМЕНОВАНИЯ \h \* MERGEFORMAT
4
1. 2 Написание модулей -  PAGEREF НАПИСАНИЕМОДУЛЕЙ \h \* MERGEFORMAT
6
1. 3 Написание функций -  PAGEREF НАПИСАНИЕФУНКЦИЙ \h \* MERGEFORMAT
8
1. 4 Порты и параметры -  PAGEREF ПОРТЫИПАРАМЕТРЫ \h \* MERGEFORMAT
9
1. 5 Описание цепей и регистров -  PAGEREF ОПИСАНИЕЦЕПЕЙИРЕГИСТРОВ \h \* MERGEFORMAT
11
1. 6 Выражения -  PAGEREF ВЫРАЖЕНИЯ \h \* MERGEFORMAT
11
1. 7 Условные операторы -  PAGEREF УСЛОВНЫЕОПЕРАТОРЫ \h \* MERGEFORMAT
12
1. 8 Присваивание -  PAGEREF ПРИСВАИВАНИЕ \h \* MERGEFORMAT
14
1. 9. Блокирование исполнения именованных блоков. -  PAGEREF БЛОКИРОВАНИЕИСПОЛНЕНИЯИМЕНОВАННЫХБЛОК \h \* MERGEFORMAT
15
1. 10 Макросы -  PAGEREF МАКРОС \h \* MERGEFORMAT
15
1. 11 Комментарии -  PAGEREF КОММЕНТАРИИ \h \* MERGEFORMAT
16
1. 12 Форматирование -  PAGEREF ФОРМАТИРОВАНИЕ \h \* MERGEFORMAT
18
2. Программирование на языке Verilog для системы SYNOPSYS -  PAGEREF ПРОГРАММИРОВАНИЕНАЯЗЫКЕVERILOGДЛЯСИ \h \* MERGEFORMAT
19
2. 1 Введение -  PAGEREF ВВЕДЕНИЕ2 \h \* MERGEFORMAT
19
2. 2 Структурно-логический подход -  PAGEREF СТРУКТУРНОЛОГИЧЕСКИЙПОДХОД \h \* MERGEFORMAT
19
2. 3 Логическая оптимизация -  PAGEREF ЛОГИЧЕСКАЯОПТИМИЗАЦИЯ \h \* MERGEFORMAT
23
2. 4 Обработка массивов памяти -  PAGEREF ОБРАБОТКАМАССИВОВПАМЯТИ \h \* MERGEFORMAT
32
2. 5 Многотактные пути и соответствующие ограничения -  PAGEREF МНОГОТАКТНЫЕПУТИИСООТВЕТСТВУЮЩИЕОГРА \h \* MERGEFORMAT
33
2. 6 Заключение -  PAGEREF ЗАКЛЮЧЕНИЕ2 \h
33
ПРИЛОЖЕНИЕ A. Сводка правил -  PAGEREF ПРИЛОЖЕНИЕA \h \* MERGEFORMAT
33
ПРИЛОЖЕНИЕ B. Большой пример на правила именования -  PAGEREF ПРИЛОЖЕНИЕB \h \* MERGEFORMAT
36

ВВЕДЕНИЕ

Обычно есть три цели, которых добиваются при написании модели на языке Verilog: она должна правильно работать, быстро моделироваться и хорошо синтезироваться (если это модель аппаратуры). К сожалению, эти требования часто конфликтуют. Способ, который вы выбрали для описания на Verilog своей модели, мы называем стилем программирования или просто стилем. Ваш стиль может повлиять на правильность работы модели, если вы избежите конструкций и выражений, которые могут привести к путанице. Удобочитаемый стиль упростит поддержание модели в будущем.