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

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

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
    Умножитель 2x2MUL2x2c
    ДелительDIV
    КомпараторCMP
    СортировкаSORT
    МультиплексорMS
    ДемультиплексорDMS
    ДешифраторDECODER
    ШифраторCODER
    ТриггерT
    РегистрRG
    СчетчикCT
    ОЗУRAM
    ПЗУROM
    Двунаправленная памятьRAMbi
    АккумуляторAccumulator
    КонстантаConst
    Константа 0LOW
    Константа 1HI
    Генератор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$ - имя файла решения и максимальное число баллов за задачу, соответственно.