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

Teresa Osés, Jordi Aguiló Llobet , Llorenç Huguet Borén

• 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.