Decomposition-based logic synthesis for PAL-based CPLDs
By: Adam Opara and Dariusz Kania
Open Access
|Jul 2010References
- Akers, S. B. (1978). Functional testing with binary decision diagrams,, pp. 75-82.
- Anderson, J. H. and Brown, S. D. (1998). Technology mapping for large complex PLDs,, pp. 698-703.
- Ashar, P., Devadas, S. and Newton, A. R. (1992)., Kluwer Academic Publishers, Norwell, MA.
- Ashenhurst, R. (1957). The decomposition of switching functions,, pp. 74-116.
- Bolton, M. (1990)., Addison-Wesley Longman Publishing Co., Inc., Boston, MA.
- Brace, K. S., Rudell, R. L. and Bryant, R. E. (1990). Efficient implementation of a bdd package,, pp. 40-45.
- Brayton, R. K., Sangiovanni-Vincentelli, A. L., McMullen, C. T. and Hachtel, G. D. (1984)., Kluwer Academic Publishers, Norwell, MA.
- Bryant, R. E. (1986). Graph-based algorithms for Boolean function manipulation,(8): 677-691.
- Burns, M., Perkowski, M., Jóźwiak, L. and Grygiel, S. (1998). An efficient and effective approach to column-based input/output encoding in functional decomposition,, pp. 19-29.
- Chartrand, G. and Zhang, P. (2008)., Chapman & Hall/CRC, Boca Raton, FL.
- Chen, K. and Muroga, S. (1988). Input assignment algorithm for decoded-PLAs with multi-input decoders,, pp. 474-477.
- Chen, S., Hwang, T. and Liu, C. (2002). A technology mapping algorithm for CPLD architectures,, pp. 204-210.
- Ciesielski, M. and Yang, S. (1992). PLADE: A two-stage PLA decomposition,(8): 943-954.
- Curtis, H. (1962)., Van Nostrand, Princeton, NJ.
- De Micheli, G. (1994)., McGraw-Hill Higher Education, New York, NY.
- Devadas, S., Wang, A., Newton, A. and Sangiovanni-Vincentelli, A. (1988). Boolean decomposition of programmable logic arrays,, Vol. 2, pp. 2.5.1-2.5.5.
- Ebendt, R., Fey, G. and Drechsler, R. (2005)., Springer-Verlag, Berlin/Heidelberg.
- Kania, D. (2004)., Zeszyty Naukowe: Elektronika, Vol. 14, pp. 5-212, (in Polish).
- Kania, D., Kulisz, J. and Milik, A. (2005). A novel method of two-stage decomposition dedicated for PAL-based CPLDs,, pp. 114-121.
- Kim, J., Kim, H. and Lin, C. (2001). A new technology mapping for CPLD under the time constraint,, pp. 235-238.
- Kouloheris, J. and Gamal, A. (1992). PLA-based FPGA area versus cell C+ granularity,, Vol. 4, pp. 4.3.1-4.3.4.
- Lai, Y., Pan, K. and Pedram, M. (1994). FPGA synthesis using function decomposition,, pp. 30-35.
- Lai, Y., Pan, K. and Pedram, M. (1996). OBDD-based function decomposition: Algorithms and implementation,(8): 977-990.
- Minato, S. (1996)., Kluwer Academic Publishers, Norwell, MA.
- Murgai, R., Brayton, R. and Sangiovanni-Vincentelli, A. (1994). Optimum functional decomposition using encoding,, pp. 408-414.
- Muthukumar, V. (2001). An improved input-output encoding approach for functional decomposition,, pp. 144-147.
- Muthukumar, V., Bignall, R. and Selvaraj, H. (2000). An input-output encoding approach for serial decomposition,, pp. 61-68.
- Nowicka, M., Łuba, T. and Selvaraj, H. (1997). Multilevel decomposition strategies in decomposition-based algorithms and tools,, pp. 129-136.
- Opara, A. (2009)., Ph.D. thesis, Silesian University of Technology, Gliwice, (in Polish).
- Opara, A. and Kania, D. (2000). A novel non-disjunctive method for decomposition of CPLDs,(1): 95-111.
- Rawski, M., Łuba, T. and Falkowski, B. (2008). Logic synthesis method for FPGAs with embedded memory blocks,, pp. 2014-2017.
- Rudell, R. (1993). Dynamic variable ordering for ordered binary decision diagrams,, pp. 42-47.
- Saldanha, A., Villa, T., Brayton, R. and Sangiovanni-Vincentelli, A. (1994). Satisfaction of input and output encoding constraints,(5): 589-602.
- Scholl, C. (2001)., Kluwer Academic Publishers, Norwell, MA.
- Yan, K. (2001). Practical logic synthesis for CPLDs and FPGAs with PLA-style logic blocks,, pp. 231-234.
- Yang, C. and Ciesielski, M. (2002). BDS: A BDD-based logic optimization system,(7): 866-876.
- Yang, S. and Ciesielski, M. J. (1991). Optimum and suboptimum algorithms for input encoding and its relationship to logic minimization,(1): 4-12.
Language: English
Page range: 367 - 384
Published on: Jul 2, 2010
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Related subjects:
© 2010 Adam Opara, Dariusz Kania, published by University of Zielona Góra
This work is licensed under the Creative Commons License.