Genetic algorithm for ordering and reduction of BDDs for MIMO circuits

@article{Bansal2013GeneticAF,
  title={Genetic algorithm for ordering and reduction of BDDs for MIMO circuits},
  author={Manu Bansal and Alpana Agarwal},
  journal={Third International Conference on Innovative Computing Technology (INTECH 2013)},
  year={2013},
  pages={411-414}
}
Boolean function manipulation is an important component of many logic synthesis algorithms including logic optimization and logic verification of combinational and sequential circuits. Digital integrated circuits, often represented as Boolean functions, can be best-manipulated graphically in the form of Binary Decision Diagrams (BDD). Reduced-ordered binary decision diagrams (ROBDDs) are data structures for representation and manipulation of Boolean functions. The variable ordering largely… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Improved Variable Ordering of BDDs with Novel Genetic Algorithm

  • N. Zhuang, M.S.T. Benten, P.Y.K Cheung
  • IEEE International Symposium on Circuits and…
  • 1996
2 Excerpts

Similar Papers

Loading similar papers…