Servicios de diseño
Netlists manuales a nivel de puerta.
Chipchain tiene la capacidad de diseñar netlists manuales y puede adaptar este servicio a su proyecto. Para rutas de datos regulares con pipeline, asignamos el RTL directamente a celdas a medida en forma de netlist a nivel de puerta, de modo que la netlist, las celdas y la colocación se optimizan como un todo.
- Idónea para
- Lógica de cómputo con pipeline y alta actividad de conmutación
- Método
- RTL asignado a celdas a medida, con la netlist a nivel de puerta generada por script
- Se combina con
- Celdas a medida, caracterización de bibliotecas y colocación y enrutado manuales
- Verificación
- Equivalencia formal con el RTL, simulación a nivel de puerta y análisis estático de temporización
Por qué una netlist manual
Netlist, celdas y colocación, diseñadas juntas.
Asignación a celdas a medida
El RTL se asigna a mano a registros, latches y celdas combinacionales a medida.
Estructura regular
Las etapas de pipeline comparten una estructura, y la netlist se organiza en bit-slices que corresponden a la colocación.
Nomenclatura coherente
Una nomenclatura coherente facilita el tratamiento de la netlist por script y su colocación manual.
Optimización de rutas críticas
El tipo de celda, la capacidad de excitación y el tipo de tensión umbral se eligen para las rutas críticas.
Lógica secuencial
Los registros multibit y las celdas dinámicas reducen la potencia del reloj y de la lógica secuencial.
Compatible con flujos automatizados
La lógica fuera de la parte a medida sigue en el flujo de síntesis, y todo se cierra en un único sign-off.
El flujo de la netlist
Seis pasos, del RTL a una netlist lista para la colocación.
Revisión del RTL
Confirmación de la jerarquía de módulos y del flujo de datos, e identificación de la lógica adecuada para el diseño a medida.
Selección de celdas
Elección de los tipos de celda para registros, latches y lógica combinacional.
Generación de la netlist
RTL asignado a celdas a medida, con la netlist a nivel de puerta generada por script.
Comprobación de equivalencia
Verificación formal de que la netlist corresponde al RTL.
Simulación a nivel de puerta y temporización
Simulación a nivel de puerta y análisis estático de temporización.
Entrega a la colocación
La netlist y su nomenclatura pasan a la colocación y el enrutado manuales.
Preguntas sobre las netlists manuales
¿Por qué usar una netlist manual?
Asigna el RTL según las celdas a medida, y su nomenclatura coherente facilita su tratamiento por script y su colocación manual. Así, la netlist y la colocación funcionan en estrecha relación.
¿Qué lógica se adapta a una netlist manual?
Se adapta mejor la lógica de cómputo con pipeline y alta actividad de conmutación. La lógica de control tiene rutas complejas y normalmente sigue en el flujo de síntesis.
¿Tenemos que escribir la netlist nosotros?
Para la lógica típica con pipeline, podemos generarla a partir de su RTL. Para los diseños complejos, trabajamos con su equipo, según el proyecto.
¿Qué requiere esto del RTL?
Una jerarquía de módulos y un flujo de datos claros, para que los scripts puedan procesarlo hasta obtener la netlist.
¿Cómo se comprueba la netlist?
La equivalencia formal confirma que corresponde al RTL; después se realizan la simulación a nivel de puerta y el análisis estático de temporización.
Páginas relacionadas
¿Tiene un bloque adecuado para una netlist manual?
Envíenos la estructura del RTL, el proceso objetivo y el objetivo de temporización, y le responderemos.