Services de conception
Netlists manuelles au niveau portes.
Chipchain a la capacité de concevoir des netlists manuelles et peut adapter ce service à votre projet. Pour les chemins de données réguliers à pipeline, nous transposons directement le RTL en cellules sur mesure sous forme de netlist au niveau portes, de sorte que la netlist, les cellules et le placement sont optimisés comme un tout.
- Idéal pour
- La logique de calcul à pipeline et à forte activité de commutation
- Méthode
- RTL mis en correspondance avec des cellules sur mesure, netlist au niveau portes générée par script
- Se combine avec
- Cellules sur mesure, caractérisation de bibliothèques et placement-routage manuel
- Vérification
- Équivalence formelle avec le RTL, simulation au niveau portes et analyse statique de timing
Pourquoi une netlist manuelle
Netlist, cellules et placement conçus ensemble.
Mise en correspondance avec des cellules sur mesure
Le RTL est transposé à la main en registres, verrous et cellules combinatoires sur mesure.
Structure régulière
Les étages de pipeline partagent une même structure, et la netlist est organisée en tranches de bits cohérentes avec le placement.
Nommage cohérent
Un schéma de nommage cohérent rend la netlist facile à traiter par script et à placer à la main.
Optimisation des chemins critiques
Le type de cellule, la force de sortie et le type de seuil sont choisis pour les chemins critiques.
Logique séquentielle
Les registres multibits et les cellules dynamiques réduisent la consommation de l’horloge et de la logique séquentielle.
Compatible avec les flots automatisés
La logique extérieure à la partie sur mesure reste dans le flot de synthèse, et l’ensemble est validé par un sign-off unique.
Le flot de la netlist
Six étapes, du RTL à une netlist prête pour le placement.
Revue du RTL
Confirmation de la hiérarchie des modules et du flux de données, et identification de la logique adaptée à une conception sur mesure.
Choix des cellules
Choix des types de cellules pour les registres, les verrous et la logique combinatoire.
Génération de la netlist
RTL mis en correspondance avec des cellules sur mesure, netlist au niveau portes générée par script.
Vérification d’équivalence
Vérification formelle de la conformité de la netlist au RTL.
Simulation au niveau portes et timing
Simulation au niveau portes et analyse statique de timing.
Passage au placement
La netlist et son schéma de nommage passent au placement-routage manuel.
Questions sur les netlists manuelles
Pourquoi utiliser une netlist manuelle ?
Elle transpose le RTL en fonction des cellules sur mesure, et son nommage cohérent la rend facile à traiter par script et à placer à la main. La netlist et le placement fonctionnent alors en étroite cohérence.
Quelle logique se prête à une netlist manuelle ?
La logique de calcul à pipeline et à forte activité de commutation s’y prête le mieux. La logique de contrôle comporte des chemins complexes et reste généralement dans le flot de synthèse.
Devons-nous écrire la netlist nous-mêmes ?
Pour une logique à pipeline typique, nous pouvons la produire à partir de votre RTL. Pour les conceptions complexes, nous travaillons avec votre équipe, projet par projet.
Qu’est-ce que cela demande au RTL ?
Une hiérarchie de modules et un flux de données clairs, pour que des scripts puissent le traiter jusqu’à la netlist.
Comment la netlist est-elle vérifiée ?
L’équivalence formelle confirme sa conformité au RTL, puis viennent la simulation au niveau portes et l’analyse statique de timing.
Pages associées
Vous avez un bloc qui se prête à une netlist manuelle ?
Envoyez-nous la structure du RTL, le procédé visé et l’objectif de timing, et nous vous répondrons.