Abstract
The binary decision diagram is a graph representation of Boolean functions, it also can efficiently represent the logic functionality of digital circuits. The number of nodes in binary decision diagram depends on the variable ordering. A new method is presented in this paper for the variable ordering and the minimization of binary decision diagram, the method is based on adaptive hierarchy genetic algorithm, which uses two populations with hierarchy to evolve in parallel, and the operation parameters in the evolution procedure are adjusted dynamically as the changes of environment. The individual representation scheme corresponding to binary decision diagram, and the implementation steps of adaptive hierarchy genetic algorithm, are given in detail. Besides, the application of the method for the test generation of digital circuits is given. A lot of experimental results show that the binary decision diagrams with smaller number of nodes can be obtained by the method proposed in this paper, and the test vectors of faults in digital circuits can also be produced.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bars, J.M., Viola, A.: Equivalence classes of Boolean functions for first-order correlation. IEEE Trans. on Information Theory 56(3), 1247–1261 (2010)
Chou, K.C.: BDD-based synthesis for mixed CMOS/PTL logic. International Journal of Circuit Theory and Applications 39(9), 923–932 (2011)
Lhotak, O., Curial, S., Amaral, J.N.: An optimal encoding to represent a single set in an ROBDD. IEEE Trans. on Computers 59(4), 574–575 (2010)
Ebendt, R., Gunther, W., Drechsler, R.: An improved branch and bound algorithm for exact BDD minimization. IEEE Trans. on CAD 22(12), 1657–1663 (2003)
Ebendt, R., Gunther, W.: Combining ordered best-first search with branch and bound for exact BDD minimization. IEEE Trans. on CAD 24(10), 1515–1529 (2005)
Wei, W., Chrzanowska, J.M.: A global approach to the variable ordering problem in PSBDDs. In: IEEE International Symposium on Circuits and Systems, vol. 5, pp. 117–120 (2001)
Drechsler, R., Gunther, W., Somenzi, F.: Using lower bounds during dynamic BDD minimization. IEEE Trans. on CAD 20(1), 51–57 (2001)
Hung, W.N., Song, X., Aboulhamid, E.M., Driscoll, M.A.: BDD minimization by scatter search. IEEE Trans. on CAD 21(8), 974–979 (2002)
Suguo, D., Yan, S.: A novel ordering method of binary decision diagram. In: International Conference on Management Science and Engineering, pp. 299–304 (2007)
Ebendt, R., Drechsler, R.: Approximate BDD minimization by weighted A*. In: IEEE International Symposium on Circuits and Systems, pp. 2974–2977 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pan, Z., Chen, L. (2013). Minimization of Binary Decision Diagrams by Adaptive Hierarchy Genetic Algorithm and Its Application in Circuit Test Generation. In: Jin, D., Lin, S. (eds) Advances in Mechanical and Electronic Engineering. Lecture Notes in Electrical Engineering, vol 178. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31528-2_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-31528-2_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31527-5
Online ISBN: 978-3-642-31528-2
eBook Packages: EngineeringEngineering (R0)