|
|
что то, что любой реальный микропроцессор состоит из аналоговых компонентов, и можно смоделировать выполнение программы на нем на SPICE (вероятно) со всеми фронтами и временами, но это совершенно другой уровень абстракции. В верилоге нет скорости фронтов, выбросов и т. п. - и это позволяет его рассматривать как язык программирования, то есть, язык описания алгоритма для вычислительной системы. Тогда, когда начинают рассматривать аналоговые эффекты - начинается собственно электроника. Аналоговые эффекты невозможно ТОЧНО смоделировать на машине Тьюринга, в отличие от любых абстрактных вычислительных систем. Более того, при моделировании времен распространения сигналов и выбросов Вас интересует не корректность работы описанного на Верилоге алгоритма, а границы, при которых оборудование, которое выполняет вычисления, описанные на Верилоге, перестает корректно выполнять вычисления в соответствии с описанием, то есть, перестает моделироать систему, описанную на Верилоге, не так ли?
|
|
E-mail: 
info@telesys.ru
