Equivalence Classes of Circuit Mutants for Experimental

نویسندگان

  • Debabrata Ghosh
  • Franc Brglez
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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, ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999