Проверка сохранённого артефакта SDC

Для этого локального рабочего процесса используйте Altifigence CLI 0.1.9 в Linux.

Перед чтением сохранённого результата убедитесь, что код завершения равен 0. Сохраняйте стандартный поток ошибок отдельно и проверяйте поля результата, описанные ниже.

Сохранение небольшого файла ограничений с литеральными значениями

Используйте существующий каталог проекта и сохраните в нём constraints.sdc. Начните с приведённой ниже команды первичного тактового сигнала с литеральными значениями. Команда проверки читает сохранённый файл и возвращает поддерживаемый результат синтаксического анализа. Используйте абсолютный канонический путь проекта и путь входного файла относительно этого проекта. Замените /absolute/project в примере на фактический каталог проекта.

create_clock -name clk -period 10 [get_ports {clk}]

Проверка сохранённого файла

alti eda inspect --project /absolute/project --format sdc constraints.sdc > sdc-receipt.json

Прочитайте sdc-receipt.json и убедитесь, что его схема — eda.artifact-inspect.result.v1. Документ идентифицирует входные байты по хешу и длине, фиксирует сведения о происхождении парсера и содержит normalized_summary с разобранными ограничениями. При фиксации проверенного содержимого проверяйте diagnostics и authority вместе со сводкой. Результат представляет собой квитанцию проверки выбранного файла без его изменения.

{"schema":"eda.artifact-inspect.result.v1","operation_id":"eda.artifact-inspect.v1","format":"sdc"}

Этот блок вывода показывает отдельные идентифицирующие поля. Сохраните полный документ, включая input, parser, normalized_summary, diagnostics и authority. Эти поля связывают интерпретацию с точными сохранёнными байтами и версией парсера, использованными при проверке. Повторная проверка после редактирования constraints.sdc создаёт подтверждающие данные для обновлённого файла.

Исправление пути к отсутствующему входному файлу

Если в команде указан missing.sdc вместо сохранённого constraints.sdc, диагностическое сообщение input_path_invalid начинается с cannot open input file: и содержит причину отсутствия файла, сообщённую операционной системой. Сохраните существующий каталог проекта, измените относительный аргумент входного файла на constraints.sdc и повторите проверку следующей командой.

alti eda inspect --project /absolute/project --format sdc constraints.sdc > sdc-receipt.json