Моделирование дискретных устройств в системе PCAD. Асинхронное троичное моделирование дискретных устройств, позволяющее проверять правильность функционирования устройств, страница 21

1.  Плавающих контактов (не подсоединенных). При этом компоненты, имеющие атрибут PCERC=SPARE, игнорируются.

2.  Цепей, имеющих один или ни одного контакта.

3.  Цепей, не подключенных к входным контактам.

4.  Цепей, не подключенных к выходным контактам.

5.  Цепей, подключенных более чем к одному входному контакту.

6.  Цепей, подключенных к выходу с открытым коллектором без резистора. Резисторы должны иметь атрибут RVALUE=<значение сопротивления резистора>.

7.  Компонентов, входные контакты которых соединены вместе.

8.  Несогласованность в информации об упаковке компонентов.

9.  Правильность расстановки указателей страниц. Обработка карты связей между листами схемы ведется, если связь между листами осуществляется через специальные компоненты с одним выводом, имеющие атрибут PGCONN=INPUT и PGCONN=OUTPUT.

10.  Атрибутов, численные значения которых подлежат суммированию. Таким атрибутом, например, может быть атрибут GOLD – количество драгметаллов. Естественно, этот атрибут должен быть указан на графических изображениях примитивов (в виде GOLD=<вес драгметаллов)>.

Выбор проверки YES/NO производится клавишей <SPACE>. Принятие решения клавишей <RETURN>. После принятия десятого решения программа делает запрос имен атрибутов, по которым должно выполняться суммирование численных значений:

Keyword # 1: GOLD

Keyword # 2:

Имена атрибутов необходимо ввести и нажать <RETURN>. Прекращение работы с меню – нажатие клавиши <ESC>.  При этом, если были внесены изменения, появляется запрос

Save the current configuration? No

Если ответить Y и нажать клавишу <RETURN>, то конфигурация будет сохранена, если просто <RETURN>, то полученная конфигурация будет действовать в течение текущего сеанса работы с программой, но не сохраняется.

После этого программа снова переходит к открывающему меню.

Выберите опцию Run PC–ERC и нажмите <RETURN>. На экране появится запрос

PC–ERC

Netlist Filename: < Filename>.XNL

Enter the filename: Press [RETURN] or [ESC] to exit

Введите имя файла списка цепей. Расширение .NLT указывать обязательно, расширение .XNL принимается по умолчанию.

После задания имени файла списка цепей программа выполняет заданные проверки и создает выходной файл с тем же именем и с расширением .ERC, о чем будет сообщение на экране. Например,

Netlist Filename: TEST.XNL

Rules Check Report File: TEST.ERC

Результаты проверок можно посмотреть в файле TEST.ERC.

При обнаружении ошибок схему следует отредактировать, используя программу PCCAPS.

ЗАМЕЧАНИЯ:

-  Для примитивов, находящихся на нижних уровнях иерархии, не работает ни одна из проверок программы PCERC. Проверку таких примитивов необходимо выполнять по схемам отдельных модулей.

-  Для примитивов, имеющих код идентификатора 0 или –1, работает только проверка 9.

-  Для примитивов, имеющих атрибут PGCONN, не работают проверки с 1 по 6.

2.6. Получение списка цепей

Сложность выполнения этого действия зависит от того, занимает ли схема одну или несколько страниц и имеются ли в ней иерархические структуры.

Если схема расположена на одной странице и не содержит иерархических структур, то список цепей получают с помощью программы PCNODES.

Файл общего списка цепей многостраничных и иерархических схем составляется с помощью программ PCNODES и PCLINK.

Многостраничные схемы должны иметь на каждой странице атрибуты SHEET=<номер страницы>. На одностраничных схемах этот атрибут ставится автоматически и имеет значение 000. Следует заметить, что цепи, имеющие на разных страницах одинаковые имена, соединяются.

а) Одностраничная схема без иерархических структур

Вызвать программу PCNODES командой

>PCNODES <RETURN>

На экране появляется запрос на ввод имен входного и выходного файлов:

Database Filename: <Filename>.SCH

Net–List Filename: <Filename>.NLT