Equivalence Classes of Circuit Mutants for Experimental
نویسندگان
چکیده
Equivalence Classes of Circuit Mutants for Experimental Design Debabrata Ghosh Franc Brglez CBL (Collaborative Benchmarking Lab), Dept. of Computer Science, Box 7550 NC State University, Raleigh, NC 27695, USA http://www.cbl.ncsu.edu/ Abstract { Experimental Design, as de ned in science and manufacturing, relies on data sets that belong to well-de ned equivalence classes. This paper introduces a method to generate tightly controlled equivalence classes of circuit mutants, given the graph-based characterization of a reference netlist, which in general may contain cycles. A set of experiments that measure the performance for a number of core algorithms in CAD demonstrates merits of the method.
منابع مشابه
A New Benchmarking Paradigm in EDA : Analysis of Equivalence Class Mutant Circuit
Today, typical experiments that report`performance' of EDA algorithms are based on isolated instances of circuit benchmarks. In this paper, we design and report results of experiments that use a large number of sample circuits from several equivalence classes. We consider a number of known circuit benchmarks and construct large samples of circuits that belong to the same equivalence class. Spec...
متن کاملThe graph of equivalence classes and Isoclinism of groups
Let $G$ be a non-abelian group and let $Gamma(G)$ be the non-commuting graph of $G$. In this paper we define an equivalence relation $sim$ on the set of $V(Gamma(G))=Gsetminus Z(G)$ by taking $xsim y$ if and only if $N(x)=N(y)$, where $ N(x)={uin G | x textrm{ and } u textrm{ are adjacent in }Gamma(G)}$ is the open neighborhood of $x$ in $Gamma(G)$. We introduce a new graph determined ...
متن کاملFUZZY SUBGROUPS AND CERTAIN EQUIVALENCE RELATIONS
In this paper, we study an equivalence relation on the set of fuzzysubgroups of an arbitrary group G and give four equivalent conditions each ofwhich characterizes this relation. We demonstrate that with this equivalencerelation each equivalence class constitutes a lattice under the ordering of fuzzy setinclusion. Moreover, we study the behavior of these equivalence classes under theaction of a...
متن کاملEquivalence classes of clone circuits for physical-design benchmarking
To provide a better understanding of physical design algorithms and the underlying circuit architecture they are targeting, we need to exercise the algorithms and architectures with many benchmark circuits. The lack of existing benchmarks makes us consider the automatic generation of netlists. In this paper, we formally define the equivalence class of circuit “clones” of a given seed circuits, ...
متن کامل