Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda  
INICIO | 23 de abril de 2024
  

Estudio formal de redes lineales y su aplicación a la síntesis de contadores.

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
Icono pdf Acceso al artículo completo
Equipo DML-E
Instituto de Ciencias Matemáticas (ICMAT - CSIC)
rmm()icmat.es