[an error occurred while processing this directive]
|
Знаете, google дает огромное количество ссылок для словосочетания "parallel algorithm". Признаюсь, я не нашел однозначного формального определения понятия Алгоритм. Самое точное - это конечный набор инструкций, описывающих, как по входным данным получить результат. Код на Верилоге вполне укладывается в это определенеие :). Замечу, что теория вычислимости оперирует не с понятием алгоритма, а с гораздо более четко определенным понятием вычислимой функции. Что позволяет рассматривать такие экстравагантные модели вычислений, как недетерминированные машины Тьюринга, например. Которые находятся одновременно во множестве состояний и одновременно осуществляют из них переходы в другое множество состояний в соответсвии с правилами. Замечу также, что понятие вычислимости вообще не требует для своего определения понятия времени.
Зачатки аналоговых конструкций в Верилоге, оперирующие с конечным множеством значений, не вносят ничего принципиально нового. Так как они легко моделируются все на той же машине Тьюринга. Вот если бы в Верилоге можно было описывать дифуры - тут другое дело. Но, замечу, что я никогда не утверждал, что разработка железяки сводится ТОЛЬКО к программированию. И при программировании микроконтроллера приходится попутно рассчитывать аналоговые блоки. Но что касается кодирования на Верилоге работы синхронной двоичной схемы, тем более, в FPGA, тем более, без учета физики линий ввода-вывода - тут все совершенно однозначно. Аналогом тут не пахнет и это чистое программирование.
E-mail: info@telesys.ru