Abstract
Field programmable gate arrays (FPGA) make rapid prototyping an easier task, and are useful in many applications due to their growing speed and capacity. In this paper, we present a rectification method for lookup-table type FPGA's. Instead of changing the netlist of a circuit, we only modify the functionality realized by look-up tables and keep the netlist equal so that there will be no change in the delay of the circuit. We formulate the problem using characteristic functions and present a redesign method based on Boolean relation techniques.
This work was done when the second author was at the University of Tokyo, Tokyo 113, Japan
Preview
Unable to display preview. Download preview PDF.
References
R. E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, C-35(8):677–691, August 1986.
E. Cerny and M. A. Marin. An approach to unified methodology of combinational switching circuits. IEEE Transactions on Computers, C-26(8):745–756, August 1977.
R. Francis, J. Rose, and Z. Vranesic. Chortle-crf: Fast technology mapping for lookup table-based FPGAs. In Proceedings of 28th ACM/IEEE Design Automation Conference, pages 227–233, June 1991.
M. Fujita, T. Kakuda, and Y. Matsunaga. Redesign and automatic error correction of combinational circuits. In Proceedings of the IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis, pages 253–262. North Holland, May 1990.
M. Fujita, Y. Tamiya, Y. Kukimoto, and K.-C. Chen. Application of Boolean unification to combinational logic synthesis. In Proceedings of IEEE International Conference on Computer-Aided Design, pages 510–513, November 1991.
Y. Kukimoto and M. Fujita. Rectification method for lookup-table type FPGA's. In Proceedings of IEEE/ACM International Conference on Computer-Aided Design, pages 54–61, November 1992.
Y. Kukimoto and M. Fujita. Reduction of critical path delay by optimizing Boolean relations. In Proceedings of ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems: Tau92, March 1992.
R. Murgai, N. Shenoy, R. K. Brayton, and A. Sangiovanni-Vincentelli. Improved logic synthesis algorithms for table look up architectures. In Proceedings of IEEE International Conference on Computer-Aided Design, pages 564–567, November 1991.
H. Savoj and R. K. Brayton. Observability relations and observability don't cares. In Proceedings of IEEE International Conference on Computer-Aided Design, pages 518–521, November 1991.
E. M. Sentovich, K. J. Singh, C. Moon, H. Savoj, R. K. Brayton, and A. Sangiovanni-Vincentelli. Sequential circuit design using synthesis and optimization. In Proceedings of IEEE International Conference on Computer Design, pages 328–333, October 1992.
Y. Watanabe and R. K. Brayton. Heuristic minimization of multiple-valued relations. In Proceedings of IEEE International Conference on Computer-Aided Design, November 1991.
Y. Watanabe and R. K. Brayton. Incremental synthesis for engineering changes. In Proceedings of IEEE International Conference on Computer Design, pages 40–43, October 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fujita, M., Kukimoto, Y. (1993). Patching method for lookup-table type FPGA's. In: Grünbacher, H., Hartenstein, R.W. (eds) Field-Programmable Gate Arrays: Architecture and Tools for Rapid Prototyping. FPL 1992. Lecture Notes in Computer Science, vol 705. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57091-8_30
Download citation
DOI: https://doi.org/10.1007/3-540-57091-8_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57091-2
Online ISBN: 978-3-540-47902-4
eBook Packages: Springer Book Archive