Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which controls a stage in the processing of a media stream. Stimuli generation for such systems can be modeled as a scheduling problem that assigns data items to the processing elements of the system. Our work presents a linear programming (LP) modeling scheme for these scheduling problems. We implemented this modeling scheme as part of SoCVer, a stimuli generator for multimedia SoCs. Experimental results show that this LP-based scheme allows easier modeling and provides better performance than CSP-based engines, which are widely used for stimuli generation.
KeywordsSchedule Problem Mixed Integer Programming Constraint Satisfaction Problem Soft Constraint Stimulus Generation
Unable to display preview. Download preview PDF.
- 2.Wile, B., Goss, J.C., Roesner, W.: Comprehensive Functional Verification – The Complete Industry Cycle. Elsevier, Amsterdam (2005)Google Scholar
- 4.Planitkar, S.: Design verification with e. Prentice-Hall, Englewood Cliffs (2003)Google Scholar
- 5.Haque, F., Michelson, J., Khan, K.: The Art of Verification with Vera. Verification Central (2001)Google Scholar
- 6.Nahir, A., et al.: Scheduling-based test-case generation for verification of multimedia SoCs. In: Proceedings of the 43rd Design Automation Conference (2006)Google Scholar
- 7.Hillier, F., Lieberman, G.: Introduction to Operations Research. McGraw-Hill Higher Education, New York (2005)Google Scholar
- 8.ISO/IEC 13818-1: Generic coding of moving pictures and associated audio information (2000)Google Scholar
- 9.Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E., Thatcher, J.W. (eds.) Complexity of Computer Computation, pp. 85–103. Plenum, New York (1972)Google Scholar
- 15.Vilain, M., Kautz, H.: Constraint propagation algorithms for temporal reasoning. In: Proceedings of the Fourth National Conference on Artificial Intelligence, pp. 377–382 (1986)Google Scholar
- 18.ILOG: Ilog cplex - high performance software for mathematical programming and optimization, http://www.ilog.fr/products/cplex/index.cfm