Skip to main content

Datasets

Standard Dataset

the open source cec benchmark named ec

Citation Author(s):
Zhihan Chen
Submitted by:
zhihan chen
Last updated:
DOI:
10.21227/njs6-na75
124 views
Categories:
Keywords:
No Ratings Yet

Abstract

This benchmark set consists of real-world industrial instances that incorporate long bit-wise optimizations and are primarily composed of datapath circuits, including adders and multipliers. It includes 8 instances in total, which can be categorized into three distinct levels of difficulty. All instances are represented as miter circuits in the AIG format, designed to compare two functionally equivalent circuits for testing purposes. These instances are part of the EC benchmark and serve as a valuable tool for assessing the efficiency and performance of combinational equivalence checking (CEC) provers, offering insights into their ability to handle real-world industrial challenges effectively.

Instructions:

the open source cec benchmark named ec