MicroGP
ToolFirst seen 6/6/2026
Last seen 8/2/2026
Evidence 16 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
29 connectionsMicroGP is described as a genetic programming-based approach
MicroGP uses an instruction library as one of its main components
MicroGP uses FireDrill as an external test generator in the verification flow
MicroGP is compared against FireDrill in the experiments
MicroGP uses a fitness function to evaluate and guide test evolution
MicroGP's fitness function includes branch coverage
MicroGP uses code coverage metrics to guide evolution
The paper evaluates MicroGP on an industrial design
MicroGP uses an evolutionary algorithm to evolve test programs
MicroGP was evaluated for generating tests for FirePath processor
MicroGP is one of the CDG techniques evaluated
Broadcom evaluated MicroGP in their verification flow
MicroGP was developed at the Polytechnic University of Torino
G. Squillero is one of the original authors of MicroGP
simulate_e.pl is part of the MicroGP verification setup
postprocess.pl is part of the MicroGP verification setup
MicroGP generates test programs using evolutionary techniques
MicroGP's fitness function includes toggle coverage
MicroGP's fitness function includes expression coverage
MicroGP uses genetic programming for CDG
MicroGP evolved tests are evaluated for use in regression suites
Enhancing Functional Verification with Dynamic Instruction Generation by Exploiting Processor Runtime States ← mentions 90% 1e
The paper references MicroGP as a related evolutionary assembly program generator.
MicroGP is an evolutionary assembly program generator.
MicroGP is mentioned as a related universal stimuli generator for comparison.
G. Squillero is the author of MicroGP as cited in the paper.
MicroGP uses mutation as a genetic operator
MicroGP uses crossover/recombination as a genetic operator
MicroGP implements Coverage Directed test Generation
MicroGP generates tests targeting RTL verification