Servizi di progettazione
Netlist manuali a livello di gate.
Chipchain ha la capacità di progettare netlist manuali e può adattare questo servizio al suo progetto. Per i datapath regolari in pipeline, mappiamo direttamente l'RTL su celle su misura sotto forma di netlist a livello di gate, così che netlist, celle e piazzamento vengano ottimizzati come un tutt'uno.
- Ideale per
- Logica di calcolo in pipeline con elevata attività di commutazione
- Metodo
- RTL mappato su celle su misura, con la netlist a livello di gate generata tramite script
- Si combina con
- Celle su misura, caratterizzazione delle librerie e piazzamento e routing manuali
- Verifica
- Equivalenza formale con l'RTL, simulazione a livello di gate e analisi statica di timing
Perché una netlist manuale
Netlist, celle e piazzamento progettati insieme.
Mappatura su celle su misura
L'RTL viene mappato a mano su registri, latch e celle combinatorie su misura.
Struttura regolare
Gli stadi della pipeline condividono una struttura, e la netlist è organizzata in bit slice corrispondenti al piazzamento.
Denominazione coerente
Uno schema di denominazione coerente rende la netlist facile da gestire con script e da piazzare a mano.
Ottimizzazione dei percorsi critici
Tipo di cella, forza di pilotaggio e tipo di soglia vengono scelti per i percorsi critici.
Logica sequenziale
Registri multi-bit e celle dinamiche riducono la potenza del clock e della logica sequenziale.
Compatibile con i flussi automatici
La logica esterna alla parte su misura resta nel flusso di sintesi, e tutto si chiude in un unico sign-off.
Il flusso della netlist
Sei passi, dall'RTL a una netlist pronta per il piazzamento.
Revisione dell'RTL
Conferma della gerarchia dei moduli e del flusso dei dati, e individuazione della logica adatta alla progettazione su misura.
Selezione delle celle
Scelta dei tipi di cella per registri, latch e logica combinatoria.
Generazione della netlist
RTL mappato su celle su misura, con la netlist a livello di gate generata tramite script.
Verifica di equivalenza
Verifica formale della corrispondenza tra la netlist e l'RTL.
Simulazione a livello di gate e timing
Simulazione a livello di gate e analisi statica di timing.
Passaggio al piazzamento
La netlist e il suo schema di denominazione passano al piazzamento e routing manuali.
Domande sulle netlist manuali
Perché usare una netlist manuale?
Mappa l'RTL in funzione delle celle su misura, e la sua denominazione coerente la rende facile da gestire con script e da piazzare a mano. Netlist e piazzamento lavorano così in stretto accordo.
Quale logica si presta a una netlist manuale?
Si presta meglio la logica di calcolo in pipeline con elevata attività di commutazione. La logica di controllo ha percorsi complessi e di solito resta nel flusso di sintesi.
Dobbiamo scrivere noi la netlist?
Per la tipica logica in pipeline possiamo produrla a partire dal suo RTL. Per i progetti complessi lavoriamo con il suo team, su commessa.
Che cosa richiede all'RTL?
Una gerarchia dei moduli e un flusso dei dati chiari, così che gli script possano elaborarlo fino alla netlist.
Come viene verificata la netlist?
L'equivalenza formale conferma la corrispondenza con l'RTL, seguita da simulazione a livello di gate e analisi statica di timing.
Pagine correlate
Ha un blocco adatto a una netlist manuale?
Ci invii la struttura dell'RTL, il processo previsto e l'obiettivo di timing, e le risponderemo.