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

Autores: Teresa Osés, Jordi Aguiló Llobet , Llorenç Huguet Borén
Localización: Questiió: Quaderns d'Estadística, Sistemes, Informatica i Investigació Operativa, ISSN 0210-8054, Vol. 5, Nº. 4, 1981, págs. 209-218
Idioma: español
Títulos paralelos:
- Formal study of linear networks and its application to counter synthesis
Enlaces
- Texto completo (pdf)
Resumen
- 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.