Título inglés | Formal study of linear networks and its application to counter synthesis. |
---|---|
Título español | Estudio formal de redes lineales y su aplicación a la síntesis de contadores. |
Autor/es | Osés-Ollo, M. Teresa ; Aguiló-Llobet, Jordi ; Huguet, Llorenç |
Organización | Fac. Cienc. Secc. Informàt. Univ. Autòn. Barcelona, Bellaterra (Barcelona), España |
Revista | 0210-8054 |
Publicación | 1981, 5 (4): 209-218, 8 Ref. |
Tipo de documento | articulo |
Idioma | Español |
Resumen español | A partir de la identificación de la función estado siguiente de las máquinas secuenciales lineales con el conjunto de funciones de GLn(Z2) y An(Z2) es posible tratar formalmente los problemas de codificación de estados internos para el caso de síntesis con elementos biestables J-K pudiendo establecer una generalización al caso de la síntesis con biestables z-Fivex. Los resultados teóricos obtenidos se aplican a la síntesis de contadores, utilizando módulos base para su implementación, lo cual supone una optimización tanto desde el punto de vista de diseño como de superficie ocupada. También se establece una comparación entre las dos estructuras estudiadas. |
Clasificación UNESCO | 330416 |
Palabras clave español | Circuitos lógicos ; Circuitos contadores ; Grafos ; Síntesis |
Acceso al artículo completo |