Задачи по проектированию цифровых устройств

Для задач по проектированию цифровых устройств нужно использовать следующий файл:

TYPE = USERS

CHECKER = 'D:\Delta\CHECKERS\HLCCAD\BIN\checker.cmd <имя устройства> <время моделирования в пикосекундах> <имя проекта> $MAXPOINT$ $SOLUTION$ >nul'

CHECKFILES = {*.TST}

CHECKSUBJECT = FILE

EXTTYPE = 'Пользовательская'

Внимание!
Название тестового файла должно совпадать с именем устройства. Например, если устройство называется Device, то тестовый файл должен быть Device.tst.
Секретный тест должен называться: "_secret.tst".

Установка ограничений на устройства
Для указания ограничений устройств, которые можно использовать для решения задачи, создаем файл 'hlccad_settings.tst'. В нем могут быть следующие секции:

[forbid] - запрещенные устройства

[permit] - разрешенные

[limitation] - ограничения на размерность контактов

[MPAonly] - допустимы только МПА-проекты

[MPAforbidden] - МПА-проекты запрещены

Пример 1:

[forbid]
MUL
DIV
[limitation]
SUM S 16

Запрещеные устройства MUL, DIV. Размерность выходного контакта 'S' устройства SUM ограничена 16-ю линиями.

Пример 2:

[permit]
AND
OR
XOR
NOT
[limitation]
AND O 8
OR O 8

Разрешены только устройства AND, OR, XOR и NOT. Размерность выходных контактов "O" устройств AND и OR ограничена 8-ю.

Примечание. Уникальное имя каждого устройства можно посмотреть в редакторе устройств Корпус->Тип модели... в окне ввода перед надписью "_Init".

Список имен для всех устройств:

Сумматор	SUM
Умножитель	MUL
Умножитель 2x2	MUL2x2c
Делитель	DIV
Компаратор	CMP
Сортировка	SORT
Мультиплексор	MS
Демультиплексор	DMS
Дешифратор	DECODER
Шифратор	CODER
Триггер	T
Регистр	RG
Счетчик	CT
ОЗУ	RAM
ПЗУ	ROM
Двунаправленная память	RAMbi
Аккумулятор	Accumulator
Константа	Const
Константа 0	LOW
Константа 1	HI
Генератор	GEN
Тристабильный буфер	BF
Двунаправленный тристабильный буфер	BFbi
ГСЧ	RND
Ячейка	LCell
Отрицание	NOT
Исключающее ИЛИ	XOR
И	AND
ИЛИ	OR

Пример архива с ограничениями на устройства

Задачи по программированию микроконтроллеров

Для задач по программированию микроконтроллеров необходимо использовать следующий файл task.cfg:

TYPE = USERS

CHECKER = 'D:\DelTA\CHECKERS\WChecker\WChecker.exe $SOLUTION$ $MAXPOINT$'

CHECKFILES = {*.TST}

CHECKSUBJECT = FILE

EXTTYPE = 'Пользовательская'

Дополнительная информация (не для студентов):

Если при тестировании необходимо использовать файл скрипта, то формат файла task.cfg следующий:

TYPE = USERS

CHECKER = 'D:\Delta\CHECKERS\HLCCAD\BIN\runme2.exe <имя hcl-файла> $MAXPOINT$'

CHECKFILES = {*.*}

CHECKSUBJECT = FILE

EXTTYPE = 'Пользовательская'

Здесь программы runme и runme2 написаны мною, они осуществляют вызов HLCCAD и перекодировку комментариев тестирования из кодировки windows (которую использует HLCCAD) в кодировку dos (необходимую для Дельты).

Задачи по совместному проектированию программного и аппаратного обеспечения встроенных систем

Для задач по совместному проектированию ПО и АО необходимо использовать следующий файл task.cfg:

TYPE = USERS

CHECKER = 'D:\Delta\CHECKERS\IEESD-2000\BIN\runme.exe <имя hcl-файла> $MAXPOINT$'

CHECKFILES = {*.*}

CHECKSUBJECT = FILE

EXTTYPE = 'Пользовательская'

Установка нового проверяющего модуля

Для установки задач с проверяющим модулем пользователя необходимо разместить запускаемый файл модуля в каталоге Дельты и создать файл task.cfg следующего содержания:

TYPE = USERS

CHECKER = 'D:\DelTA\Checkers\<имя проверяющего модуля> <строка параметров>'

CHECKFILES = {<маска файлов необходимых для проверки>}

CHECKSUBJECT = FILE

EXTTYPE = 'Пользовательская'

В строку параметров могут входить ключевые слова $SOLUTION$ и $MAXPOINT$ - имя файла решения и максимальное число баллов за задачу, соответственно.