Synthesis of ESI Equivalence Class Combinational Circuit Mutants

Abstract

Despite more than a decade of experience with the use of standardized benchmark circuits, meaningful comparisons of EDA algorithms remain elusive. In this paper, we introduce an entirely new methodology for characterizing the performance of Binary Decision Diagram (BDD) software. Our method involves the synthesis of large equivalence classes of Entropy Signature Invariant (ESI) circuits, based on a known reference circuit. We demonstrate that such classes induce controllable distributions of BDD algorithm performance, which provide the foundation for statistically significant comparison of different algorithms.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1997
Accession Number
ADA344593

Entities

People

  • F. Brglez
  • J. Harlow

Organizations

  • North Carolina State University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Circuits
  • Classification
  • Clinical Trials
  • Computer Science
  • Equivalent Circuits
  • Graphs
  • Hard Copy
  • Language
  • Mutations
  • North Carolina
  • Perturbations
  • Probability
  • Random Variables
  • Simulations
  • Universities
  • Xor Gates

Fields of Study

  • Computer science

Readers

  • Computer Programming and Software Development.
  • Integrated Circuit Design and Technology.
  • Theoretical Analysis.