Схема маршрута проектирования

Выполнение работы по проектированию цифровых устройств на основе САПР предусматривает изучение основных эта­пов проектирования (рис. 1.5) (маршрута автоматизированного проек­тирования) цифровых схем на ПЛИС — создание проекта, моделиро­вание, трассировка и верификация (этап создания файла конфигура­ции в данном пособии не рассматривается).

Рисунок 6. Схема маршрута проектирования

Методика работы в САПР

Описание методики работы пользователя с Системой при про­ектировании цифровых схем.

Рассмотрение работы с Системой представлено следующими этапами:

1) создание и редактирование проекта;

2) логическое моделирование;

3) трассировка;

4) верификация.

Этапы работы с Системой, а также программные средства для реализации указанных этапов (входящие в состав Системы) приведе­ны в табл2

Таблица2

Моделированиепроекта

Этап логического моделирования проектов осуществляется на базе программы FoundationLogicSimulator. Данная программа позволяет осуществить функциональное моделированиепроекта, а также временное моделирование с учетом задержек распространения сигналов по кристаллу. Результат моделирования с задержками полностью имитирует реальную картину работы ПЛИС в устройстве. Это обстоятельство практически исключает необходимость отладки кри­сталла на плате.

Моделирование с учетом задержек распространения сигналов по кристаллу — временное моделирование— производится при использовании программы FoundationTimingSimulator, интерфейс которой идентичен интерфейсу программы FoundationLogicSimulator. При использовании указанной программы осуществляется имитация работы сконфигури­рованной ПЛИС Хilinх в реальном устройстве с учетом задержек элементов КЛБ, межсоединений и БВВ.

Последовательности Де-Брейна

Числовая последовательность — это последовательность элементов числового пространства.

Числовые последовательности являются одним из основных объектов рассмотрения в математическом анализе.

Определение

Пусть множество X — это либо множество вещественных чисел , либо множество комплексных чисел . Тогда последовательность элементов множества X называется числовой последовательностью.

Последовательность де Брёйна — последовательность , элементы которой принадлежат заданному конечному множеству (обычно рассматривают множество ), и все подпоследовательности заданной длины , различны.

Часто рассматриваются периодические последовательности с периодом , содержащие - различных подпоследовательностей — то есть такие периодические последовательности, в которых любой отрезок длины является последовательностью де Брёйна с теми же параметрами и .

Циклы де Брёйна названы по имени голландского математика Николаса Говерта де Брёйна (англ.), который рассматривал их в 1946 году, хотя они изучались и ранее.

Свойства

Очевидно, что длина (период) такого цикла не может превосходить числа всех различных векторов длины с элементами из ; несложно доказать, что эта оценка достигается. Циклы этой максимально возможной длины обычно называют Циклами де Брёйна.

При существуют такие циклы де Брёйна с длиной, на единицу меньшей максимума, которые выражаются линейными рекуррентными соотношениями порядка : так, при соотношение порождает последовательности с периодом 7, например 0010111001011100… (цикл де Брёйна 0010111). На основе таких последовательностей построен, в частности, циклический избыточный код CRC32 (EDB88320).

Примеры

Примеры циклов де Брёйна для с периодом 2, 4, 8, 16:

• 01 (содержитподпоследовательности 0 и 1)
• 0011 (содержитподпоследовательности 00, 01, 11, 10)
• 00010111 (000, 001, 010, 101, 011, 111, 110, 100)