Ispezionare un artefatto SDC salvato

Leggi un file SDC nell'ambito del progetto e conservane la ricevuta di ispezione normalizzata.

Utilizza Altifigence CLI 0.1.9 su Linux per questo flusso di lavoro locale.

Verifica che lo stato di uscita sia 0 prima di leggere un risultato salvato. Conserva separatamente l'output di errore standard e ispeziona i campi del risultato descritti di seguito.

Salvare un piccolo file di vincoli letterali

Utilizza una directory di progetto esistente e salva al suo interno constraints.sdc. Inizia con l'istruzione letterale del clock primario riportata di seguito. Il comando di ispezione legge questo file salvato e restituisce il risultato del parser supportato. Utilizza un percorso di progetto assoluto e canonico e un percorso di input relativo a quel progetto. Sostituisci /absolute/project nell'esempio con la directory effettiva del progetto.

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

Ispezionare il file salvato

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

Leggi sdc-receipt.json e conferma che lo schema sia eda.artifact-inspect.result.v1. Il documento identifica i byte di input tramite digest e lunghezza, registra la provenienza del parser e include un normalized_summary con i vincoli analizzati. Controlla diagnostics e authority insieme al riepilogo quando documenti ciò che è stato ispezionato. Il risultato è una ricevuta di ispezione in sola lettura per il file selezionato.

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

Questo blocco di output mostra alcuni campi identificativi. Conserva il documento completo, inclusi input, parser, normalized_summary, diagnostics e authority. Questi campi mantengono l'interpretazione legata agli esatti byte salvati e alla versione del parser utilizzata per l'ispezione. Un'ispezione successiva alla modifica di constraints.sdc produce riscontri per il file aggiornato.

Correggere un percorso di input mancante

Se il comando indica missing.sdc invece del file salvato constraints.sdc, il messaggio diagnostico input_path_invalid inizia con cannot open input file: e include il motivo del file mancante fornito dal sistema operativo. Mantieni la directory di progetto esistente, modifica l'argomento di input relativo in constraints.sdc e ripeti l'ispezione seguente.

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