abcBridge-0.15: Bindings for ABC, A System for Sequential Synthesis and Verification

CopyrightGalois, Inc. 2010-2014
LicenseBSD3
Maintainerjhendrix@galois.com
Stabilityexperimental
Portabilitynon-portable (c2hs, language extensions)
Safe HaskellNone
LanguageHaskell98

Data.ABC.Internal.CEC

Contents

Description

Comprehensive binding of aig/cec/cec.h for performing combinational equivalence checking of scalable and-inverter graphs (GIA).

Synopsis

Types

Storable types

data Cec_ParCec_t_ Source

Constructors

Cec_ParCec_t_ 

Fields

nBTLimit'Cec_ParCec :: Int

conflict limit at a node

nTimeLimit'Cec_ParCec :: Int

the runtime limit in seconds (added prefix n)

fUseSmartCnf'Cec_ParCec :: Bool

use smart CNF computation

fRewriting'Cec_ParCec :: Bool

enables AIG rewriting

fNaive'Cec_ParCec :: Bool

perform naive SAT-based checking

fVeryVerbose'Cec_ParCec :: Bool

very verbose stats

fVerbose'Cec_ParCec :: Bool

verbose stats

iOutFail'Cec_ParCec :: Int

the number of failed output

Functions

cecCec.c

cecCore.c

cecManSatSolve :: Cec_ManPat_t -> Gia_Man_t -> Cec_ParSat_t -> IO () Source