Inspecionar um artefato SDC salvo

Use o Altifigence CLI 0.1.9 no Linux para este fluxo de trabalho local.

Exija o status de saída 0 antes de ler um resultado salvo. Mantenha a saída de erro padrão separada e inspecione os campos do resultado descritos abaixo.

Salvar um pequeno arquivo de restrições literais

Use um diretório de projeto existente e salve constraints.sdc nele. Comece com a declaração literal de clock primário abaixo. O comando de inspeção lê esse arquivo salvo e retorna o resultado do analisador compatível. Use um caminho de projeto absoluto e canônico e um caminho de entrada relativo a esse projeto. Substitua /absolute/project no exemplo pelo diretório real do seu projeto.

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

Inspecionar o arquivo salvo

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

Leia sdc-receipt.json e confirme que seu esquema é eda.artifact-inspect.result.v1. O documento identifica os bytes de entrada por resumo criptográfico e comprimento, registra a proveniência do analisador e inclui um normalized_summary com as restrições analisadas. Verifique diagnostics e authority junto com o resumo ao registrar o que foi inspecionado. O resultado é um comprovante de inspeção somente leitura do arquivo selecionado.

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

Este bloco de saída mostra alguns campos de identificação. Retenha o documento completo, incluindo input, parser, normalized_summary, diagnostics e authority. Esses campos mantêm a interpretação vinculada aos bytes exatos salvos e à versão do analisador usada na inspeção. Uma inspeção posterior à edição de constraints.sdc produz evidências para o arquivo atualizado.

Corrigir um caminho de entrada ausente

Se o comando indicar missing.sdc em vez do arquivo salvo constraints.sdc, o diagnóstico input_path_invalid começará com cannot open input file: e incluirá o motivo de arquivo ausente informado pelo sistema operacional. Mantenha o diretório de projeto existente, altere o argumento relativo de entrada para constraints.sdc e execute novamente a inspeção abaixo.

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