Title :
Using Integer Linear Programming in Test-bench Generation for Evaluating Communication Processors
Author :
Senn, Eric ; Monnereau, David ; Rossi, André ; Julien, Nathalie
Author_Institution :
Lab.-STICC, Univ. de Bretagne-Sud, Lorient, France
Abstract :
This paper presents an innovative way to build flexible benchmarks based on micro-architecture independent characteristics. The proposed approach enables the testing and stressing of processors in order to reflect the real nature of applications and give meaningful information to the designers. The use of a limited number of basic blocks hand-coded in assembly, wisely chosen and arranged, enables to copy the behaviour of proprietary applications. An integer linear programming approach is used to find the number of basic blocks and their iterations. An enumerative method is used to build the basic blocks base. Our approach is used to generate synthetic test benches representative of the MediaBench applications suite. Real measurements conducted on an Intel processor show interesting and promising results, which will be discussed in details in this paper.
Keywords :
benchmark testing; integer programming; linear programming; microprocessor chips; multiprocessing systems; performance evaluation; Intel processor; MediaBench application suite; communication processors; enumerative method; integer linear programming; micro-architecture independent characteristics; synthetic test benches; test-bench generation; Assembly; Benchmark testing; Central Processing Unit; Character generation; Design methodology; Digital systems; Frequency; Integer linear programming; Performance evaluation; System testing; Benchmark Synthesis; Instruction Mix; Integer Linear Programming; Processor Evaluation;
Conference_Titel :
Digital System Design, Architectures, Methods and Tools, 2009. DSD '09. 12th Euromicro Conference on
Conference_Location :
Patras
Print_ISBN :
978-0-7695-3782-5
DOI :
10.1109/DSD.2009.236