КЭ 1.1.1 test suite (OpenABC-D)

В рамках подготовки к КЭ 1.1.1 необходимо разработать набор тестов системного уровня.

В качестве тестовых данных использовать GraphML-описания схем из бенчмарка OpenABC-D.

При технологическом отображении использовать библиотеку SkyWater SKY 130.

Каждый системный тест должен содержать следующую последовательность действий, проводимых путем запуска соответствующих команд CLI:

1. построение исходной схемы по входному GraphML-описанию;
2. получение промежуточной схемы путем синтеза исходной схемы в один из выбранных промежуточных базисов (AIG, XAG, MIG, XMG);
3. проверка эквивалентности промежуточной и исходной схем;
4. отображение промежуточной схемы на элементы технологической библиотеки, получение "технологической схемы";
5. проверка эквивалентности промежуточной и технологической схем.

В тестах необходимо проверять:

• отсутствие ошибок в работе команд и компонентов;
• положительные результаты проверки эквивалентности.

ВАЖНО: для проверки эквивалентности здесь используются чекеры utopia-eda.