Для задач по проектированию цифровых устройств нужно использовать следующий файл:
TYPE = USERS
CHECKER = 'D:\Delta\CHECKERS\HLCCAD\BIN\checker.cmd <имя устройства> <время моделирования в пикосекундах> <имя проекта> $MAXPOINT$ $SOLUTION$ >nul'
CHECKFILES =
{*.TST}
CHECKSUBJECT = FILE
EXTTYPE = 'Пользовательская'
Внимание!
Название тестового файла должно совпадать с именем устройства.
Например, если устройство называется Device, то тестовый файл должен быть Device.tst.
Секретный тест должен называться: "_secret.tst".
Пример 1:
[forbid]
MUL
DIV
[limitation]
SUM S 16
Запрещеные устройства MUL, DIV. Размерность выходного контакта 'S' устройства SUM ограничена 16-ю линиями.
Разрешены только устройства 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$ - имя файла решения и максимальное число баллов за задачу, соответственно.