Tangram es un lenguaje de programación VLSI traducible automáticamente a redes de módulos asíncronos llamados componentes de sincronización. En este artículo se usan los Grafos de Transiciones de Señales (STGs) para describir el comportamiento de estos componentes, y se presentan métodos de recombinación de las descripciones, para generar un único STG equivalente para todo el sistema. Se muestra también cómo la eliminación de eventos internos resultantes de la composición, da lugar a STGs más sencillos con comportamiento equivalente. Las simplificaciones en los STGs generados permitirán la síntesis automática de circuitos eficientes en área.Peer ReviewedPostprint (author's final draft
