发明名称 |
Random code generation using genetic algorithms |
摘要 |
Techniques are disclosed for automatically generating test instructions for use in testing a microprocessor design. A configuration file includes a plurality of knobs which specify a probability distribution of a plurality of microprocessor instructions. A random code generator takes the configuration file as an input and generates test instructions which are distributed according to the probability distribution specified by the knobs. The test instructions are executed on the microprocessor design. The microprocessor behaviors that are exercised by the test instructions are measured and a fitness value is assigned to the configuration file using a fitness function. The configuration file and its fitness value are added to a pool of configuration files. A configuration file synthesizer uses a genetic algorithm to synthesize a new configuration file from the pool of existing configuration files. This process may be repeated to generate configuration files which increasingly exercise microprocessor behaviors which are of interest.
|
申请公布号 |
US2004015791(A1) |
申请公布日期 |
2004.01.22 |
申请号 |
US20020195993 |
申请日期 |
2002.07.16 |
申请人 |
SMITH ZACHARY STEVEN;BECKER LEE;HECKMAN DAVID ALBERT |
发明人 |
SMITH ZACHARY STEVEN;BECKER LEE;HECKMAN DAVID ALBERT |
分类号 |
G01R31/3183;G06F17/50;(IPC1-7):G06F17/50 |
主分类号 |
G01R31/3183 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|