Skip to main content

Parallel Partitioning Techniques for Logic Minimization Using Redundancy Identification

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2913))

Abstract

Redundancy identification is a challenging open problem in logic optimization of Boolean circuits. Partitioning techniques are employed successfully to solve the redundancy identification problem with less time and higher scalability. Any heuristic/algorithm for the Logic optimization problem, and hence the redundancy identification problem is compute-intensive, especially when very high approximation to the optimal solution is demanded. This is because the problems are NP-complete. This necessitates parallel heuristics/algorithms to speed-up the computation process. In this paper, we present a parallel partitioning approach for the logic optimization problem using the concept of redundancy identification. This result finds extensive applications in the area of VLSI CAD tool design.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chakradhar, S.T., Agrawal, V.D., Rothweiler, S.G.: A Transitive Closure Algorithm for Test Generation. IEEE Trans. Computer Aided Design 12, 1015–1028 (1993)

    Article  Google Scholar 

  2. Cox, H., Rajski, J.: On Necessary and Nonconflicting Assignments in Algorithmic Test Pattern Generation. IEEE Trans. on Computer Aided Design 13, 515–530 (1994)

    Article  Google Scholar 

  3. Kunz, W., Pradhan, D.K.: Recursive Learning: An Attractive Alternative to the Decision Tree for Test Generation in Digital Circuits. In: Proceedings of the IEEE International Test Conference, September 1992, pp. 816–825 (1992)

    Google Scholar 

  4. Menon, P.R., Ahuja, H.: Redundancy Removal and Simplification of Combinational Circuits. In: Proceedings of the 10th IEEE VLSI Test Symposium, April 1992, pp. 268–273 (1992)

    Google Scholar 

  5. Iyer, M.A., Abramovici, M.: FIRE: A Fault Independent Combinational Redundancy Identification Algorithm. IEEE Trans. on Very Large Scale Integration(VLSI) Systems 4(2) (June 1996)

    Google Scholar 

  6. Berkelaar, M., van Eijk, K.: Efficient and Effective Redundancy Removal for Million-Gate Circuits. In: Proc. International Workshop on Logic Synthesis 2001, p. 249 (2001)

    Google Scholar 

  7. Hayes, J.P.: On the properties of Irredundant Logic Networks. IEEE Trans. on Computer C-25(9), 884–892 (1976)

    Article  MathSciNet  Google Scholar 

  8. Abramovici, M., Breuer, M.A., Friedman, A.D.: Digital Systems Testing and Testable Design. IEEE press, Los Alamitos (2000)

    Google Scholar 

  9. Dey, S., Brglez, F., Kedem, G.: Corolla-based circuit partitioning and resynthesis. In: ACM/IEEE 27th Design Automation Conference, June 1990, pp. 607–612 (1990)

    Google Scholar 

  10. Maamari, F., Rajski, J.: A Reconvergent Fanout Analysis for Efficient Exact Fault Simulation of Combinational Circuits. In: 18th International Symposium on Fault Tolerant Computing (June 1988)

    Google Scholar 

  11. Jayaram, B., Vijuraj, E.V., Manimegalai, R., Joseph, J.P., Kamakoti, V.: Corollas Based Partitioning for Logic Minimization Using Redundancy Identification. Technical Report, IIT Madras (April 2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jayaram, B., Kumar, A.M., Kamakoti, V. (2003). Parallel Partitioning Techniques for Logic Minimization Using Redundancy Identification. In: Pinkston, T.M., Prasanna, V.K. (eds) High Performance Computing - HiPC 2003. HiPC 2003. Lecture Notes in Computer Science, vol 2913. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24596-4_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24596-4_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20626-2

  • Online ISBN: 978-3-540-24596-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics