Inspeccione un artefacto SDC guardado

Utilice Altifigence CLI 0.1.9 en Linux para este flujo local.

Exija un estado de salida 0 antes de leer un resultado guardado. Conserve la salida de error estándar por separado e inspeccione los campos del resultado descritos a continuación.

Guarde un pequeño archivo de restricciones literales

Utilice un directorio de proyecto existente y guarde constraints.sdc dentro de él. Comience con la sentencia literal de reloj primario que aparece a continuación. El comando de inspección lee este archivo guardado y devuelve el resultado admitido del analizador. Utilice una ruta de proyecto absoluta y canónica y, para la entrada, una ruta relativa a ese proyecto. Sustituya /absolute/project en el ejemplo por su directorio de proyecto real.

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

Inspeccione el archivo guardado

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

Lea sdc-receipt.json y confirme que su esquema sea eda.artifact-inspect.result.v1. El documento identifica los bytes de entrada mediante su resumen criptográfico y su longitud, registra la procedencia del analizador e incluye un normalized_summary con las restricciones analizadas. Compruebe diagnostics y authority junto con el resumen al registrar lo que se inspeccionó. El resultado es un comprobante de inspección de solo lectura del archivo seleccionado.

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

Este bloque de salida muestra una selección de campos identificativos. Conserve el documento completo, incluidos input, parser, normalized_summary, diagnostics y authority. Estos campos mantienen la interpretación vinculada a los bytes exactos guardados y a la versión del analizador utilizada para la inspección. Una inspección posterior a la edición de constraints.sdc produce evidencia del archivo actualizado.

Corrija una ruta de entrada inexistente

Si el comando indica missing.sdc en lugar del archivo guardado constraints.sdc, el diagnóstico input_path_invalid comienza con cannot open input file: e incluye el motivo de archivo inexistente del sistema operativo. Mantenga el directorio de proyecto existente, cambie el argumento relativo de entrada a constraints.sdc y vuelva a ejecutar la inspección siguiente.

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