Estudio formal de redes lineales y su aplicación a la síntesis de contadores
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 establece...
| Authors: | , , |
|---|---|
| Format: | article |
| Publication Date: | 1981 |
| Country: | España |
| Institution: | Universitat Politècnica de Catalunya (UPC) |
| Repository: | UPCommons. Portal del coneixement obert de la UPC |
| Language: | Spanish |
| OAI Identifier: | oai:upcommons.upc.edu:2099/4510 |
| Online Access: | https://hdl.handle.net/2099/4510 |
| Access Level: | Open access |
| Keyword: | Graph theory Grafs, Teoria de Classificació AMS::05 Combinatorics::05C Graph theory |
| Summary: | 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. |
|---|