Variant of Ant Colony Optimization
TechniqueA Variant of Ant Colony Optimization (VACO) is used in Instiller for input instruction distillation in RTL fuzzing. It adapts ant colony optimization ideas to shorten input instruction sequences while maintaining coverage, improving fuzzing efficiency.
First seen 5/27/2026
Last seen 6/3/2026
Evidence 3 chunks
Wiki v1
WIKI
Overview
The Variant of Ant Colony Optimization (VACO) is a technique proposed in the Instiller RTL fuzzing work for input instruction distillation. Its purpose is to reduce CPU cycles and improve fuzzing performance by shortening input instruction sequences while preserving the original coverage achieved by those inputs.
Role in input instruction distillation
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
4 connectionsInput instruction distillation uses the variant of ant colony optimization (VACO) as its core algorithm.
The Variant of Ant Colony Optimization (VACO) is derived from classic Ant Colony Optimization with modifications for RTL fuzzing.
Instiller implements a variant of ant colony optimization (VACO) for input instruction distillation.
Instiller uses a variant of ACO (VACO) to distill input instructions.
CITATIONS
5 sources5 citations — click to expand
[1] VACO is proposed for input instruction distillation in Instiller. [2401.15967] Instiller: Towards Efficient and Realistic RTL Fuzzing
[2] Input instruction distillation constructs a shorter subset of the original input set while maintaining original coverage. [2401.15967] Instiller: Towards Efficient and Realistic RTL Fuzzing
[3] VACO adapts ant colony optimization by modeling input-instruction length as ants and RTL circuits as cities. [2401.15967] Instiller: Towards Efficient and Realistic RTL Fuzzing
[4] VACO modifies classic ACO to fit the RTL fuzzing scenario. [2401.15967] Instiller: Towards Efficient and Realistic RTL Fuzzing
[5] Instiller reports 79.3% shorter input length than DiFuzzRTL and a 6.7% average execution-speed increase from input instruction distillation. [2401.15967] Instiller: Towards Efficient and Realistic RTL Fuzzing