abc-master
|
#include "base/abc/abc.h"
#include "base/main/main.h"
#include "base/main/mainInt.h"
#include "proof/fraig/fraig.h"
#include "opt/fxu/fxu.h"
#include "opt/cut/cut.h"
#include "map/fpga/fpga.h"
#include "map/if/if.h"
#include "opt/sim/sim.h"
#include "opt/res/res.h"
#include "opt/lpk/lpk.h"
#include "aig/gia/giaAig.h"
#include "opt/dar/dar.h"
#include "opt/mfs/mfs.h"
#include "proof/fra/fra.h"
#include "aig/saig/saig.h"
#include "proof/int/int.h"
#include "proof/dch/dch.h"
#include "proof/ssw/ssw.h"
#include "opt/cgt/cgt.h"
#include "bool/kit/kit.h"
#include "map/amap/amap.h"
#include "opt/ret/retInt.h"
#include "sat/cnf/cnf.h"
#include "proof/cec/cec.h"
#include "proof/pdr/pdr.h"
#include "misc/tim/tim.h"
#include "proof/llb/llb.h"
#include "proof/bbr/bbr.h"
#include "map/cov/cov.h"
#include "base/cmd/cmd.h"
#include "proof/abs/abs.h"
#include "sat/bmc/bmc.h"
#include "proof/ssc/ssc.h"
#include "opt/sfm/sfm.h"
#include "bool/rpo/rpo.h"
#include "map/mpm/mpm.h"
#include <unistd.h>
#include "abciUnfold2.c"
Go to the source code of this file.
Functions | |
static ABC_NAMESPACE_IMPL_START int | Abc_CommandPrintStats (Abc_Frame_t *pAbc, int argc, char **argv) |
DECLARATIONS ///. More... | |
static int | Abc_CommandPrintExdc (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintIo (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintLatch (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintFanio (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintMffc (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintFactor (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintLevel (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintSupport (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintSymms (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintUnate (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintAuto (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintKMap (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintGates (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintSharing (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintXCut (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintDsd (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintCone (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintMiter (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintStatus (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPrintDelay (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandShow (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandShowBdd (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandShowCut (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCollapse (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandStrash (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandBalance (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandMuxStruct (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandMulti (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRenode (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCleanup (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSweep (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandFastExtract (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandEliminate (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDisjoint (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSparsify (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandLutpack (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandLutmin (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandMfs (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandMfs2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTrace (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSpeedup (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPowerdown (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAddBuffs (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTestDec (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTestNpn (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTestRPO (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRewrite (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRefactor (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRestructure (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandResubstitute (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRr (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCascade (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandExtract (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandVarMin (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandLogic (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandComb (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandMiter (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDemiter (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandOrPos (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAndPos (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandZeroPo (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSwapPos (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRemovePo (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDropSat (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAddPi (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAppend (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPutOnTop (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandFrames (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDFrames (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSop (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandBdd (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAig (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandReorder (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandBidec (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandOrder (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandMuxes (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCubes (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSplitSop (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandExtSeqDcs (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandReach (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCone (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandNode (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTopmost (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTopAnd (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTrim (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandShortNames (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandMoveNames (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandExdcFree (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandExdcGet (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandExdcSet (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCareSet (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCut (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandEspresso (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandGen (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandGenFsm (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCover (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDouble (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandInter (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandBb2Wb (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandOutdec (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandNodeDup (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTestColor (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTest (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandQuaVar (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandQuaRel (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandQuaReach (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSenseInput (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandNpnLoad (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandNpnSave (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSendAig (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSendStatus (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandBackup (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRestore (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandMinisat (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandMinisimp (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandIStrash (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandICut (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandIRewrite (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDRewrite (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDRefactor (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDc2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDChoice (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDch (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDrwsat (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandIRewriteSeq (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandIResyn (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandISat (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandIFraig (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDFraig (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCSweep (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDProve (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbSec (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSimSec (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandMatch (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandQbf (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandFraig (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandFraigTrust (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandFraigStore (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandFraigRestore (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandFraigClean (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandFraigSweep (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandFraigDress (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRecStart3 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRecStop3 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRecPs3 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRecAdd3 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRecDump3 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRecMerge3 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandMap (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAmap (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandUnmap (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAttach (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSuperChoice (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSuperChoiceLut (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandIf (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandIfif (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDsdSave (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDsdLoad (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDsdFree (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDsdPs (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDsdMatch (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDsdMerge (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDsdFilter (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandScut (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandInit (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandZero (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandUndc (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandOneHot (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPipe (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSeq (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandUnseq (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandRetime (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDRetime (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandFlowRetime (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCRetime (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSeqFpga (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSeqMap (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSeqSweep (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSeqSweep2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTestSeqSweep (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTestScorr (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandLcorr (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSeqCleanup (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCycle (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandXsim (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSim (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSim3 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDarPhase (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSynch (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandClockGate (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandExtWin (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandInsWin (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPermute (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandUnpermute (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCubeEnum (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCec (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDCec (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDSec (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSat (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDSat (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPSat (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandProve (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandIProve (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDebug (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandBmc (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandBmc2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandBmc3 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandBmcInter (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandIndcut (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandEnlarge (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTempor (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandInduction (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandConstr (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandUnfold (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandFold (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandUnfold2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandFold2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandBm (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandBm2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandSaucy (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTestCex (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandPdr (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandReconcile (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCexSave (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCexLoad (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCexCut (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandCexMerge (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandDualRail (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandBlockPo (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandIso (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTraceStart (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandTraceCheck (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Get (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Put (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Save (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Load (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Read (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9ReadBlif (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9ReadCBlif (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9ReadStg (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9ReadVer (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9WriteVer (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Write (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Ps (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9PFan (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9PSig (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Status (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9MuxProfile (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Show (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9SetRegNum (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Strash (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Topand (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Add1Hot (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Cof (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Trim (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Dfs (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Sim (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Sim3 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Resim (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9SpecI (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Equiv (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Equiv2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Equiv3 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Semi (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Times (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Frames (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Retime (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Enable (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Dc2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Dsd (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Bidec (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Shrink (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Fx (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Balance (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9BalanceLut (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Syn2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Syn3 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Syn4 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Synch2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9False (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Miter (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Miter2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Append (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Scl (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Lcorr (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Scorr (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Choice (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Sat (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9SatEnum (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Fraig (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9CFraig (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Srm (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Srm2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Filter (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Reduce (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9EquivMark (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9EquivFilter (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Cec (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Verify (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Sweep (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Force (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Embed (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Sopb (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Dsdb (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Flow (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Flow2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9If (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Iff (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9If2 (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Jf (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Kf (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Lf (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Mf (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Nf (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Unmap (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Struct (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Trace (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Speedup (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Era (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Dch (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Rpm (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9BackReach (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Posplit (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9ReachM (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9ReachP (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9ReachN (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9ReachY (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Undo (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Iso (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9CexInfo (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Cycle (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Cone (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Slice (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9PoPart (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9GroupProve (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9MultiProve (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9SplitProve (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Bmc (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9ChainBmc (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9BCore (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9ICheck (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9SatTest (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9FFTest (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Qbf (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Inse (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Maxi (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Bmci (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9PoXsim (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Demiter (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Fadds (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Mfs (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9AbsDerive (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9AbsRefine (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9GlaDerive (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9GlaRefine (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9GlaShrink (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Gla (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Vta (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Vta2Gla (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Gla2Vta (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Fla2Gla (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Gla2Fla (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Abc_CommandAbc9Test (Abc_Frame_t *pAbc, int argc, char **argv) |
int | Abc_CommandAbcLivenessToSafety (Abc_Frame_t *pAbc, int argc, char **argv) |
int | Abc_CommandAbcLivenessToSafetySim (Abc_Frame_t *pAbc, int argc, char **argv) |
int | Abc_CommandAbcLivenessToSafetyWithLTL (Abc_Frame_t *pAbc, int argc, char **argv) |
int | Abc_CommandCS_kLiveness (Abc_Frame_t *pAbc, int argc, char **argv) |
int | Abc_CommandNChooseK (Abc_Frame_t *pAbc, int argc, char **argv) |
Aig_Man_t * | Abc_NtkToDar (Abc_Ntk_t *pNtk, int fExors, int fRegisters) |
Abc_Ntk_t * | Abc_NtkFromAigPhase (Aig_Man_t *pMan) |
void | Abc_FrameReplaceCex (Abc_Frame_t *pAbc, Abc_Cex_t **ppCex) |
FUNCTION DEFINITIONS ///. More... | |
void | Abc_FrameReplaceCexVec (Abc_Frame_t *pAbc, Vec_Ptr_t **pvCexVec) |
void | Abc_FrameReplacePoEquivs (Abc_Frame_t *pAbc, Vec_Ptr_t **pvPoEquivs) |
void | Abc_FrameReplacePoStatuses (Abc_Frame_t *pAbc, Vec_Int_t **pvStatuses) |
Vec_Int_t * | Abc_FrameDeriveStatusArray (Vec_Ptr_t *vCexes) |
void | Abc_FrameClearDesign () |
void | Abc_FrameUpdateGia (Abc_Frame_t *pAbc, Gia_Man_t *pNew) |
Gia_Man_t * | Abc_FrameGetGia (Abc_Frame_t *pAbc) |
void | Abc_Init (Abc_Frame_t *pAbc) |
DECLARATIONS ///. More... | |
void | Abc_End (Abc_Frame_t *pAbc) |
int | Abc_CommandCexMin (Abc_Frame_t *pAbc, int argc, char **argv) |
static int | Gia_ManCompareWithBest (Gia_Man_t *pBest, Gia_Man_t *p, int *pnBestLuts, int *pnBestEdges, int *pnBestLevels) |
int | Abc_CommandAbc9PoPart2 (Abc_Frame_t *pAbc, int argc, char **argv) |
int | Abc_CommandAbc9CexCut (Abc_Frame_t *pAbc, int argc, char **argv) |
int | Abc_CommandAbc9CexMerge (Abc_Frame_t *pAbc, int argc, char **argv) |
int | Abc_CommandAbc9CexMin (Abc_Frame_t *pAbc, int argc, char **argv) |
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 37390 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 37446 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26825 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 29511 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 33936 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 28736 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 28818 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 35874 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 28511 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 35658 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 36675 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 30811 of file abc.c.
int Abc_CommandAbc9CexCut | ( | Abc_Frame_t * | pAbc, |
int | argc, | ||
char ** | argv | ||
) |
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 34844 of file abc.c.
int Abc_CommandAbc9CexMerge | ( | Abc_Frame_t * | pAbc, |
int | argc, | ||
char ** | argv | ||
) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 37202 of file abc.c.
int Abc_CommandAbc9CexMin | ( | Abc_Frame_t * | pAbc, |
int | argc, | ||
char ** | argv | ||
) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 37295 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 30272 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 35790 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 29889 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26871 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 34961 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 34897 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 28408 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 33757 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 36833 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 27038 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 28459 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 31402 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 31201 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 28353 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 27551 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 27669 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 27812 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 30765 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 30700 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 33667 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 36887 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 29229 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 36146 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 30555 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 38360 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 31526 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 31607 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 31137 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 30133 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 28179 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 28644 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 25776 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 37767 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 38411 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 38291 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 37528 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 37589 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 37676 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 35345 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 36003 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 31693 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 32280 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 32225 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 36488 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 34758 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 32461 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 32621 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 29660 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 32787 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26067 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 36583 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 33019 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 37025 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 29307 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 29432 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 35420 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26508 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 33220 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26365 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 35172 of file abc.c.
int Abc_CommandAbc9PoPart2 | ( | Abc_Frame_t * | pAbc, |
int | argc, | ||
char ** | argv | ||
) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 35243 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 34028 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 36770 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26265 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26418 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 25874 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 36349 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 34096 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 34425 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 34275 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 34555 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 25392 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 25477 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 25547 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 25627 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 25700 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 30637 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 27402 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 28288 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 33864 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 29951 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 30066 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 36097 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26018 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 29589 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 29767 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 27982 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26597 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26549 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 28567 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 27112 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 27248 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 35114 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 31301 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 27467 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 33571 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 35552 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 30352 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 30458 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26468 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26659 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 33454 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 31040 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 28919 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 29127 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 29178 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 29012 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 38463 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 28121 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26774 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 33512 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26957 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 34710 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 33408 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 30965 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 38038 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 38240 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26109 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 26184 of file abc.c.
int Abc_CommandAbcLivenessToSafety | ( | Abc_Frame_t * | pAbc, |
int | argc, | ||
char ** | argv | ||
) |
Definition at line 1254 of file liveness.c.
int Abc_CommandAbcLivenessToSafetySim | ( | Abc_Frame_t * | pAbc, |
int | argc, | ||
char ** | argv | ||
) |
Definition at line 754 of file liveness_sim.c.
int Abc_CommandAbcLivenessToSafetyWithLTL | ( | Abc_Frame_t * | pAbc, |
int | argc, | ||
char ** | argv | ||
) |
Definition at line 2268 of file liveness.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 20939 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5270 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 7448 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 7991 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 14539 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 7058 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 7500 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 14773 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13222 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 3145 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 10420 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 7929 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 8106 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 25121 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 23837 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 23917 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 21991 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 22163 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 22353 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 22634 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 9416 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6315 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 20213 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 24676 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 24631 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 24800 of file abc.c.
int Abc_CommandCexMin | ( | Abc_Frame_t * | pAbc, |
int | argc, | ||
char ** | argv | ||
) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 24893 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 24590 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 3601 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 19649 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2964 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6639 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 8641 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 23421 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 10148 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 17558 of file abc.c.
int Abc_CommandCS_kLiveness | ( | Abc_Frame_t * | pAbc, |
int | argc, | ||
char ** | argv | ||
) |
Definition at line 525 of file kliveness.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 12498 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 20161 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 8308 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 9500 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 18861 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 19388 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 11673 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 20387 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 11862 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 11757 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 21940 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6866 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 12401 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 7761 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 4041 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 10342 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 20680 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 11552 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 17261 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 11444 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 7373 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 11989 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 21411 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 16416 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 16086 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 16005 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 16234 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 16345 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 16142 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 15936 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 20544 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 25004 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 3908 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 23056 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 9779 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 9223 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 9279 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 9332 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6413 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 8447 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 19810 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 3753 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 17400 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 23762 of file abc.c.
|
static |
Definition at line 124 of file abciUnfold2.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13332 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13688 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13813 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13628 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13572 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13731 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13512 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 7674 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 9843 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 10014 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 11308 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso [] Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 15283 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 15811 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 12281 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 22865 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 23280 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 16517 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 19909 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 10245 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 12600 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 12130 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 11371 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 12057 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 12198 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 25205 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 11249 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 18614 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6579 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 4389 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 4241 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 14315 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 21171 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 4590 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 4758 of file abc.c.
|
static |
|
static |
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6723 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 9146 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 3318 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 8247 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 3250 of file abc.c.
int Abc_CommandNChooseK | ( | Abc_Frame_t * | pAbc, |
int | argc, | ||
char ** | argv | ||
) |
Definition at line 718 of file kliveness.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 8794 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 10551 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13015 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13055 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 16837 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 8164 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6964 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 10475 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 24283 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 20023 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 16900 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5162 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1981 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2430 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2625 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2308 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1266 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1583 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1476 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2146 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1353 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2058 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1422 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1660 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1536 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2485 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2204 of file abc.c.
|
static |
DECLARATIONS ///.
CFile****************************************************************
FileName [abc.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Network and node package.]
Synopsis [Command file.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1155 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2540 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1749 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1834 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1914 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2256 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 21764 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 21605 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 7583 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso [] Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 12909 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 11064 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 10969 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 10882 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 8513 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 14098 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 14150 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 14234 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 24478 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 14054 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13897 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 14013 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5868 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 7292 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 3432 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 8048 of file abc.c.
|
static |
Definition at line 13255 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5987 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6085 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 17104 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5765 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6224 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 21284 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 24027 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 9679 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13096 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13175 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 11162 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 16966 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 18742 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 17627 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 17750 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 17874 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 18068 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 9103 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2709 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2785 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2866 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 19040 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 19171 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 21046 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 7871 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 4161 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5055 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 8370 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 3064 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 14829 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 14892 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 7217 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 3689 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 19537 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 23139 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 10645 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 24180 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 10627 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5497 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5587 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5689 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 18504 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 18340 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 8955 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 8870 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 4991 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 25333 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 25278 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 9036 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 16747 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 23607 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 13 of file abciUnfold2.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 14719 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 20112 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 17033 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6494 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 18953 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 16682 of file abc.c.
|
static |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 7131 of file abc.c.
void Abc_End | ( | Abc_Frame_t * | pAbc | ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1108 of file abc.c.
void Abc_FrameClearDesign | ( | ) |
Function*************************************************************
Synopsis [Derives array of statuses from the array of CEXes.]
Description []
SideEffects []
SeeAlso []
Definition at line 575 of file abc.c.
Gia_Man_t* Abc_FrameGetGia | ( | Abc_Frame_t * | pAbc | ) |
void Abc_FrameReplaceCex | ( | Abc_Frame_t * | pAbc, |
Abc_Cex_t ** | ppCex | ||
) |
void Abc_FrameReplaceCexVec | ( | Abc_Frame_t * | pAbc, |
Vec_Ptr_t ** | pvCexVec | ||
) |
void Abc_FrameReplacePoEquivs | ( | Abc_Frame_t * | pAbc, |
Vec_Ptr_t ** | pvPoEquivs | ||
) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 537 of file abc.c.
void Abc_FrameReplacePoStatuses | ( | Abc_Frame_t * | pAbc, |
Vec_Int_t ** | pvStatuses | ||
) |
void Abc_FrameUpdateGia | ( | Abc_Frame_t * | pAbc, |
Gia_Man_t * | pNew | ||
) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 616 of file abc.c.
void Abc_Init | ( | Abc_Frame_t * | pAbc | ) |
DECLARATIONS ///.
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 679 of file abc.c.
Function*************************************************************
Synopsis [Converts the network from the AIG manager into ABC.]
Description [This procedure should be called after seq sweeping, which changes the number of registers.]
SideEffects []
SeeAlso []
Definition at line 590 of file abcDar.c.
Function*************************************************************
Synopsis [Converts the network from the AIG manager into ABC.]
Description [Assumes that registers are ordered after PIs/POs.]
SideEffects []
SeeAlso []
Definition at line 233 of file abcDar.c.
|
inlinestatic |
Function*************************************************************
Synopsis [Compares to versions of the design and finds the best.]
Description []
SideEffects []
SeeAlso []
Definition at line 25987 of file abc.c.