Abstract
We introduce a Bayesian Optimization algorithm (BOA) for the automatic generation of test sequences (ATPG) for digital circuit. We compare our approach, named BOATPG, to the two most known evolutionary approaches to ATPG (GATTO and STRATEGATE) and the currently most promising non-evolutionary approach to ATPG (namely, SPECTRAL ATPG). We show that our simple approach can easily outperform GATTO and performs as good as a more complex evolutionary approach like STRATEGATE. We also show that when BOATPG is coupled with spectral approach for seeding the population of initial test sequences, the resulting hybrid system, SBOATPG, performs better than the plain BOATPG although the improvements over SPECTRAL ATPG are limited.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abramovici, M., Breuer, M.A., Friedman, A.D.: Digital systems testing and testable design. Computer Science Press (1990)
Brglez, F., Bryant, D., Kozminski, K.: Combinational profiles of sequential benchmark circuits. In: Proc. International Symposium on Circuits Systems, pp. 1929–1934 (1989)
Cha, C.W., Donath, W.E., Ozguner, F.: 9-v algorithm for test pattern generation of combinational digital circuits. IEEE Transactions on Electronic Computers C-27(3), 193–200 (1978)
Corno, F., Prinetto, P., Rebaudengo, M., Reorda, M.S.: Gatto: A genetic algorithm for automatic test pattern generation for large synchronous sequential sircuits. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems 15(8), 991–1000 (1996)
Giani, A., Sheng, S., Hsiao, M.S., Agrawal, V.: Efficient spectral techniques for sequential atpg. In: Proc. IEEE Design Automation and Test in Europe Conf., March 2001, pp. 204–208 (2001)
Gravagnoli, T.: Test generation based on probabilistic model building genetic algorithms and spectral analysis. Master’s thesis, Master thesis supervisor: Prof. Pier Luca Lanzi (April 2006)
Guo, R., Pomeranz, I., Reddy, S.M.: Procedures for static compaction of test sequences for synchronous sequential circuits based on vector restoration. In: Proc. Design Automation and Test in Europe, pp. 583–587 (1998)
Hsiao, M.S., Rudnick, E.M., Patel, J.H.: Sequential circuit test generation using dynamic state traversal. In: Proc. European Design and Test Conference, March 1996, pp. 22–28 (1996)
Lee, H.K., Ha, D.S.: Hope: An efficient parallel fault simulator for synchronous sequential circuits. In: Proc. 29th Design Automation Conf., June 1992, pp. 336–340 (1992)
Niermann, T., Patel, J.H.: Hitec: A test generator package for sequential circuits. In: Proc. European Design Automation Conf., pp. 214–218 (1991)
Ocenasek, J., Kern, S., Hansen, N., Koumoutsakos, P.: A mixed bayesian optimization algorithm with variance adaptation. In: Yao, X., Burke, E.K., Lozano, J.A., Smith, J., Merelo-Guervós, J.J., Bullinaria, J.A., Rowe, J.E., Tiňo, P., Kabán, A., Schwefel, H.-P. (eds.) PPSN 2004. LNCS, vol. 3242, pp. 352–361. Springer, Heidelberg (2004)
Pelikan, M.: Hierarchical Bayesian Optimization Algorithm. Springer, Berlin (2005)
Pelikan, M., Goldberg, D.E., Sastry, K.: Bayesian optimization algorithm, decision graphs, and occam’s razor. In: Proceedings of the Genetic and Evolutionary Computation Conference, pp. 519–526 (2001); Also IlliGAL Report No. 2000020
Pomeranz, I., Reddy, S.M.: Vector restoration based static compaction of test sequences for synchronous sequential circuits. In: Proc. Int. Conf. Computer Design, pp. 360–365 (1997)
Roth, J.P.: Diagnosis of automata failures: a calculus and a method. IBM Journal of Research and Development 10(4), 278–291 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gravagnoli, T., Ferrandi, F., Lanzi, P.L., Sciuto, D. (2006). Automatic Test Pattern Generation with BOA. In: Runarsson, T.P., Beyer, HG., Burke, E., Merelo-Guervós, J.J., Whitley, L.D., Yao, X. (eds) Parallel Problem Solving from Nature - PPSN IX. PPSN 2006. Lecture Notes in Computer Science, vol 4193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11844297_43
Download citation
DOI: https://doi.org/10.1007/11844297_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38990-3
Online ISBN: 978-3-540-38991-0
eBook Packages: Computer ScienceComputer Science (R0)