Random code generation using genetic algorithms

Details Random code generation using genetic algorithms Random code generation using genetic algorithms

2005-07-12

2005-07-12

Smith, Matthew (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000, C703S016000, C703S026000, C703S028000, C714S028000, C714S033000, C714S039000, C714S728000, C714S735000, C714S739000, C702S118000

Reexamination Certificate

active

06918098

ABSTRACT:
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.

REFERENCES:
patent: 3719885 (1973-03-01), Carpenter et al.
patent: 4697242 (1987-09-01), Holland et al.
patent: 5136686 (1992-08-01), Koza
patent: 5202889 (1993-04-01), Aharon et al.
patent: 5245550 (1993-09-01), Miki et al.
patent: 5323400 (1994-06-01), Agarwal et al.
patent: 5488573 (1996-01-01), Brown et al.
patent: 5490249 (1996-02-01), Miller
patent: 5526517 (1996-06-01), Jones et al.
patent: 5542043 (1996-07-01), Cohen et al.
patent: 5572666 (1996-11-01), Whitman
patent: 5646949 (1997-07-01), Bruce, Jr. et al.
patent: 5708774 (1998-01-01), Boden
patent: 5729554 (1998-03-01), Weir et al.
patent: 5754760 (1998-05-01), Warfield
patent: 5764857 (1998-06-01), Suzuki
patent: 5774726 (1998-06-01), Ahmed
patent: 5819074 (1998-10-01), Mangelsdorf
patent: 5880975 (1999-03-01), Mangelsdorf
patent: 5913023 (1999-06-01), Szermer
patent: 5956477 (1999-09-01), Ranson et al.
patent: 5956478 (1999-09-01), Huggins
patent: 5958072 (1999-09-01), Jacobs et al.
patent: 6058385 (2000-05-01), Koza et al.
patent: 6088510 (2000-07-01), Sims
patent: 6212493 (2001-04-01), Huggins et al.
patent: 6253344 (2001-06-01), Fin et al.
patent: 6349393 (2002-02-01), Cox
patent: 6374367 (2002-04-01), Dean et al.
patent: 6381740 (2002-04-01), Miller et al.
patent: 6574727 (2003-06-01), Davidson et al.
patent: 6625501 (2003-09-01), Martin et al.
patent: 6691080 (2004-02-01), Tachibana
patent: 6859770 (2005-02-01), Ramsey
patent: 2002/0065640 (2002-05-01), Ramsey
patent: 2003/0188268 (2003-10-01), Konstadinidis et al.
patent: WO 9815145 (1998-04-01), None
Chen et al., “A heuristic approach based on the state equations of Petri nets for FMS scheduling”, International IEEE/IAS Conference on Industrial Automation and Control, May 22, 1995, pp. 275-281.
Hachtel et al., “The Sparse Tableau Approach to Network Analysis and Design”, IEEE Transactions on Circuits and Systems, vol. 18, No. 1, Jan. 1971, pp. 101-113.
Automatic Test Bench Generation for Validation of RT-level Descriptions: an Industrial Experience, 2000, F. Corno, M. Sonza Reorda, G. Squillero, A. Manzone, A. Pincetti, 5 pgs.

Affiliated with

Also associated with

Rating

Random code generation using genetic algorithms does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Random code generation using genetic algorithms, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Random code generation using genetic algorithms will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3425972