Synthesis of wiring signature-invariant equivalence class circuit mutants and applications to benchmarking
Debabrata Kumar Ghosh, Nevin Kapur, Justin E. Harlow, F. Brglez · 1998
This paper formalizes the synthesis process of wiring signatur e-invariant (WSI) combinational circuit mutants. The signature 0 is defined by a reference circuit 0, which itself is modeled as a canonic alform of a directed bipartite graph. A wiring perturbation induces a perturbed reference circuit. A number of mutant circuits i can be resynthesized from the perturbed circuit. The mutants of interest are the ones that belong to the wiring-signature invariant equivalenc e classN 0, i.e. the mutants i 2N 0. Cir cuit mutants i 2N 0have a number of useful properties. For any wiring perturbation, the size of the wiring signature-invariant equivalence class is huge. Notably, circuits in this class are not random, although for un biased testing and benchmarking purp oses, mutant selections from this class are typically random. For each reference circuit, we synthesized eight equivalence subclasses of circuit mutants, based on 0 to 100 % perturbation. Each subclass contains 100 randomly chosen mutant circuits, each listed in a different random order. The 14,400 benchmarking experiments with 3200 mutants in 4 equivalence classes, covering 13 typical EDA algorithms, demonstrate that an unbiased random selection of such circuits can lead to statistically meaningful differentiation and improvements of existing and new algorithms.