Esta revista proporciona un acceso abierto inmediato a su contenido, basado en el principio de que ofrecer al público un acceso libre a las investigaciones ayuda a un mayor intercambio global de conocimiento.
Por tanto se acoge a la Licencia Creative Commons 4.0 Atribuciones Reconocimiento – NoComercial – CompartirIgual (by-nc-sa): No se permite un uso comercial de la obra original ni de las posibles obras derivadas, la distribución de las cuales se debe hacer con una licencia igual a la que regula la obra original.
http://creativecommons.org/licenses/by-nc-sa/4.0/
Cesión de Derechos:
UNIVERSIDAD DE SAN BUENAVENTURA, BOGOTÁ
AUTORIZACIÓN DEL AUTOR DE ESCRITOS ACADÉMICOS PARA SU REPRODUCCIÓN EN REVISTA INGENIUM
Yo______________________________________________________, Autorizo a la Universidad de San Buenaventura, Bogotá, para que en los términos establecidos en la Ley 23 de 1982, Ley 44 de 1993, Decisión Andina 351 de 1993, Decreto 460 de 1995 y demás normas generales sobre derechos de autor, reproduzcan por cualquier medio la totalidad de la ponencia, artículo, conferencia o escrito producto de mi actividad académica y titulado: __________________________________________________________________________________________________________________________________________________
La Universidad de San Buenaventura, Bogotá, hará uso estrictamente académico de este producto sin fines de lucro y asumirá los costos de la reproducción; los autores no solicitarán derechos patrimoniales a la Universidad por esta reproducción, renunciando a lo establecido en el artículo 72 de la ley 23 de 1982. Con todo, en mi condición de autor me reservo los derechos morales de la obra antes citada con arreglo al artículo 30 de la ley 23 de 1982. Como autor o autores, manifestamos que el escrito académico objeto de la presente autorización es original y la realizo sin violar o usurpar derechos de autor de terceros, por lo tanto la obra es de nuestra exclusiva autoría y poseemos la titularidad sobre la misma. En caso de presentarse cualquier reclamación o acción por parte de un tercero en cuanto a los derechos de autor sobre la obra en cuestión, el autor o autores, asumirán toda la responsabilidad, y saldrán en defensa de los derechos aquí autorizados; para todos los efectos la Universidad actúa como un tercero de buena fe.
En concordancia suscribo este documento en la Universidad de San Buenaventura, Bogotá, a los ________ días del mes de ____________________ de _________.
NOMBRE _______________________________________ FIRMA ________________________________________
DOC. IDENTIDAD__________________________________
Resumen
El objetivo del presente trabajo es describir una técnica para la realización de máquinas de estado usando una memoria ROM para la descripción de la lógica de estado siguiente y lógica de salida, dicho bloque ROM es un bloque funcional dentro de una FPGA de Xilinx, aprovechando que estos son nativos para la mayoría de dispositivos programables de esta compañía.
Palabras clave:
Referencias
[2] R. Senhadji-Navarro, I. García-Vargas, G. Jiménez-Moreno and A. Civit- Ballcels «ROM-based FSM implementation using input multiplexing», Electronics Letters, Vol. 40, n.o 20, September 2004.
[3] Rawski, M., Selvaraj, H., and Łuba, T.:«An Application of Functional, Decomposition in ROM-Based FSM Implementation in FPGA Devices», Proc. Euromicro Symposium on Digital System Design, 2003, Belek-Antalya (Turkey), pp. 104-110
[4] Valery, Sklyarov, «Synthesis and Implementation of RAM-Based Finite State Machines in FPGAs», Proc. Field Programmable Logic and its applications (FPL), 2000, pp. 718-727
[5] De Micheli, G., «Synthesis and Optimization of Digital Circuits», New York: McGraw-Hill, 1994
[6] Katz, R. H., «Contemporary Logic Design» (The Benjamin/Cummings Publishing Company, Inc., California: 1994).
[7] Krueger, R. «Xilinx Virtex Devices: Variable Input LUT Architecture», The Syndicated, Vol. 4, 2004, Issue I.
[8] Xilinx, Inc.: «Using Dedicated Multiplexers in Spartan-3 Generation FPGAs», XAPP466, Vol. 1.1, May 20, 2005.
[9] Xilinx, Inc.: XST User Guide, 2005.
[10] McElvain, K. IWLS’93 Benchmark Set: Version 4.0, 1993.
[11] Garey, M. R. and Johnson, D. S. Computers and Intractability: A Guideto the Theory of NP-Completeness. New York: W. H. Freeman, 1983.
[12] Burns, M., Perkowski, M., Jówiak, L. «An EfficientApproach to Decomposition of Multi-OutputBoolean Functions with Large Set of Bound Variables», Proc. of the EuromicroConference,Vasteras, 1998
[13] Brzozowski, I., Kos A., «Minimisation of Power Consumption in Digital Integrated Circuits by Reduction of Switching Activity», Proc. of the Euromicro Conference, pp. 376-380. Vol. 1, Milán, 1999
[14] Brzozowski J. A., Luba T., «Decomposition of Boolean Functions Specified by Cubes», Research Report CS-97-01, University of Waterloo, Waterloo; REVISED October 1998.
[15] Jozwiak L., Chojnacki A., «Functional Decomposition Based on Information Relationship Measures Extremely Effective and Efficient for Symmetric Functions», Proc of the Euromicro Conference, Vol. 1, 1999 pp.150-159, Milan.
[16] Kravets, V. N., Sakallah, K. A., «Constructive library-aware synthesis using symmetries», Proc. Of Design, Automation and Test in Europe Conference, 2000
[17] Spartan 3A/AN Family Datasheet, DS557 April 1, 2011
[18] Chang, S.C., Marek-Sadowska M., Hwang T.T.,«Technology Mapping for TLU FPGAs Based on Decomposition of Binary Decision Diagrams», IEEE Trans. on CAD, Vol. 15, 1996, n.o 10, pp. 1226-1236.
[19] De Micheli, G. Synthesis and Optimization of Digital Circuits, New York: McGraw-Hill, 1994.
[20] Hartmanis, J., Stearns, R.E., Algebraic Structure Theory of Sequential Machines, Prentice-Hall, 1966.