Home
last modified time | relevance | path

Searched refs:fVerbose (Results 1 – 25 of 795) sorted by relevance

12345678910>>...32

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyResyn.c55 if ( fVerbose ) { printf( "\n" ); } in Ivy_ManResyn0()
62 if ( fVerbose ) { printf( "\n" ); } in Ivy_ManResyn0()
69 if ( fVerbose ) { printf( "\n" ); } in Ivy_ManResyn0()
96 if ( fVerbose ) { printf( "\n" ); } in Ivy_ManResyn()
103 if ( fVerbose ) { printf( "\n" ); } in Ivy_ManResyn()
110 if ( fVerbose ) { printf( "\n" ); } in Ivy_ManResyn()
117 if ( fVerbose ) { printf( "\n" ); } in Ivy_ManResyn()
124 if ( fVerbose ) { printf( "\n" ); } in Ivy_ManResyn()
131 if ( fVerbose ) { printf( "\n" ); } in Ivy_ManResyn()
138 if ( fVerbose ) { printf( "\n" ); } in Ivy_ManResyn()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/
H A DdarScript.c86 pParsRwr->fVerbose = fVerbose; in Dar_ManRwsat()
87 pParsRef->fVerbose = fVerbose; in Dar_ManRwsat()
178 pParsRwr->fVerbose = 0;//fVerbose; in Dar_ManCompress()
179 pParsRef->fVerbose = 0;//fVerbose; in Dar_ManCompress()
251 pParsRwr->fVerbose = 0;//fVerbose; in Dar_ManCompress2()
252 pParsRef->fVerbose = 0;//fVerbose; in Dar_ManCompress2()
399 if ( fVerbose ) in Dar_ManChoice()
411 if ( fVerbose ) in Dar_ManChoice()
447 pParsRwr->fVerbose = 0;//fVerbose; in Dar_NewCompress()
642 if ( fVerbose ) in Dar_NewChoiceSynthesis()
[all …]
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/
H A DdarScript.c100 pParsRwr->fVerbose = fVerbose;
101 pParsRef->fVerbose = fVerbose;
159 pParsRwr->fVerbose = 0;//fVerbose;
160 pParsRef->fVerbose = 0;//fVerbose;
163 if ( fVerbose ) Aig_ManPrintStats( pAig );
177 if ( fVerbose ) Aig_ManPrintStats( pAig );
183 if ( fVerbose ) Aig_ManPrintStats( pAig );
190 if ( fVerbose ) Aig_ManPrintStats( pAig );
200 if ( fVerbose ) Aig_ManPrintStats( pAig );
232 pParsRwr->fVerbose = 0;//fVerbose;
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaScript.c391 int fVerbose = pParsDch->fVerbose; in Gia_ManAigSynch2() local
399 pPars->fVerbose = fVerbose; in Gia_ManAigSynch2()
492 if ( fVerbose ) in Gia_ManPerformMap()
500 if ( fVerbose ) in Gia_ManPerformMap()
520 if ( fVerbose ) in Gia_ManPerformMap()
629 if ( fVerbose ) in Gia_ManPerformFlow2()
634 if ( fVerbose ) in Gia_ManPerformFlow2()
640 if ( fVerbose ) in Gia_ManPerformFlow2()
645 if ( fVerbose ) in Gia_ManPerformFlow2()
660 if ( fVerbose ) in Gia_ManPerformFlow2()
[all …]
H A DgiaHcd.c112 pParsRwr->fVerbose = 0;//fVerbose; in Hcd_Compress()
113 pParsRef->fVerbose = 0;//fVerbose; in Hcd_Compress()
116 if ( fVerbose ) Aig_ManPrintStats( pAig ); in Hcd_Compress()
122 if ( fVerbose ) Aig_ManPrintStats( pAig ); in Hcd_Compress()
128 if ( fVerbose ) Aig_ManPrintStats( pAig ); in Hcd_Compress()
135 if ( fVerbose ) Aig_ManPrintStats( pAig ); in Hcd_Compress()
177 pParsRwr->fVerbose = 0;//fVerbose; in Hcd_Compress2()
178 pParsRef->fVerbose = 0;//fVerbose; in Hcd_Compress2()
621 if ( fVerbose ) in Hcd_ComputeChoices()
643 if ( fVerbose ) in Hcd_ComputeChoices()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A Dbmc.h62 int fVerbose; member
81 pPars->fVerbose = 1; in Bmc_EsParSetDefault()
112 int fVerbose; // verbose member
142 int fVerbose; // verbose member
160 int fVerbose; // verbose output member
173 int fVerbose; member
196 int fVerbose; member
222 … Bmc_CexCareVerify( Aig_Man_t * p, Abc_Cex_t * pCex, Abc_Cex_t * pCexMin, int fVerbose );
231 extern void Bmc_CexPrint( Abc_Cex_t * pCex, int nRealPis, int fVerbose );
234 … Bmc_PerformICheck( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fEmpty, int fVerbose );
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcCom.c157 int c, fVerbose = 0; in Abc_CommandReadWlc() local
170 fVerbose ^= 1; in Abc_CommandReadWlc()
253 fVerbose ^= 1; in Abc_CommandWriteWlc()
320 int c, fVerbose = 0; in Abc_CommandPs() local
348 fVerbose ^= 1; in Abc_CommandPs()
438 fVerbose ^= 1; in Abc_CommandCone()
1240 int c, fVerbose = 0; in Abc_CommandBlastMem() local
1286 int c, fVerbose = 0; in Abc_CommandGraft() local
1334 int c, fVerbose = 0; in Abc_CommandRetime() local
1410 int c, fVerbose = 0; in Abc_CommandProfile() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbCom.c121 fVerbose ^= 1;
213 fVerbose ^= 1;
280 int c, fVerbose = 0;
307 fVerbose ^= 1;
371 fVerbose ^= 1;
426 fVerbose ^= 1;
483 int c, fVerbose = 0;
490 fVerbose ^= 1;
539 fVerbose ^= 1;
698 int c, fVerbose = 0;
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/
H A DcbaCom.c119 fVerbose ^= 1; in Cba_CommandRead()
211 fVerbose ^= 1; in Cba_CommandWrite()
278 int c, fVerbose = 0; in Cba_CommandPs() local
305 fVerbose ^= 1; in Cba_CommandPs()
369 fVerbose ^= 1; in Cba_CommandPut()
424 fVerbose ^= 1; in Cba_CommandGet()
481 int c, fVerbose = 0; in Cba_CommandClp() local
488 fVerbose ^= 1; in Cba_CommandClp()
537 fVerbose ^= 1; in Cba_CommandBlast()
696 int c, fVerbose = 0; in Cba_CommandTest() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dabc.c1905 int fVerbose; in Abc_CommandPrintLevel() local
1993 int fVerbose; in Abc_CommandPrintSupport() local
2000 fVerbose = 0; in Abc_CommandPrintSupport()
2077 int fVerbose; in Abc_CommandPrintMint() local
2080 fVerbose = 0; in Abc_CommandPrintMint()
2141 int fVerbose; in Abc_CommandPrintSymms() local
2148 fVerbose = 0; in Abc_CommandPrintSymms()
2220 int fVerbose; in Abc_CommandPrintUnate() local
2287 int fVerbose; in Abc_CommandPrintAuto() local
2293 fVerbose = 0; in Abc_CommandPrintAuto()
[all …]
H A DabciUnfold2.c21 int fVerbose; in Abc_CommandUnfold2() local
29 fVerbose = 0; in Abc_CommandUnfold2()
69 fVerbose ^= 1; in Abc_CommandUnfold2()
103 pNtkRes = Abc_NtkDarUnfold2( pNtk, nFrames, nConfs, nProps, fStruct, fOldAlgo, fVerbose ); in Abc_CommandUnfold2()
117 …Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes":… in Abc_CommandUnfold2()
128 int fVerbose; in Abc_CommandFold2() local
130 extern Abc_Ntk_t * Abc_NtkDarFold2( Abc_Ntk_t * pNtk, int fCompl, int fVerbose , int); in Abc_CommandFold2()
134 fVerbose = 0; in Abc_CommandFold2()
144 fVerbose ^= 1; in Abc_CommandFold2()
170 pNtkRes = Abc_NtkDarFold2( pNtk, fCompl, fVerbose ,0); in Abc_CommandFold2()
[all …]
H A DabcUnate.c35 static void Abc_NtkPrintUnateBdd( Abc_Ntk_t * pNtk, int fUseNaive, int fVerbose );
36 static void Abc_NtkPrintUnateSat( Abc_Ntk_t * pNtk, int fVerbose );
53 void Abc_NtkPrintUnate( Abc_Ntk_t * pNtk, int fUseBdds, int fUseNaive, int fVerbose ) in Abc_NtkPrintUnate() argument
56 Abc_NtkPrintUnateBdd( pNtk, fUseNaive, fVerbose ); in Abc_NtkPrintUnate()
58 Abc_NtkPrintUnateSat( pNtk, fVerbose ); in Abc_NtkPrintUnate()
72 void Abc_NtkPrintUnateBdd( Abc_Ntk_t * pNtk, int fUseNaive, int fVerbose ) in Abc_NtkPrintUnateBdd() argument
85 dd = (DdManager *)Abc_NtkBuildGlobalBdds(pNtk, 10000000, 1, 1, 0, fVerbose); in Abc_NtkPrintUnateBdd()
105 if ( fVerbose ) in Abc_NtkPrintUnateBdd()
124 if ( fVerbose ) in Abc_NtkPrintUnateBdd()
162 void Abc_NtkPrintUnateSat( Abc_Ntk_t * pNtk, int fVerbose ) in Abc_NtkPrintUnateSat() argument
[all …]
H A DabcNpn.c216 if ( fVerbose ) in Abc_TruthNpnPerform()
223 if ( fVerbose ) in Abc_TruthNpnPerform()
225 if ( fVerbose ) in Abc_TruthNpnPerform()
236 if ( fVerbose ) in Abc_TruthNpnPerform()
239 if ( fVerbose ) in Abc_TruthNpnPerform()
248 if ( fVerbose ) in Abc_TruthNpnPerform()
252 if ( fVerbose ) in Abc_TruthNpnPerform()
260 if ( fVerbose ) in Abc_TruthNpnPerform()
264 if ( fVerbose ) in Abc_TruthNpnPerform()
397 if ( fVerbose ) in Abc_TruthNpnTest()
[all …]
H A DabcSymm.c40 static void Abc_NtkSymmetriesUsingSandS( Abc_Ntk_t * pNtk, int fVerbose );
62 Abc_NtkSymmetriesUsingBdds( pNtk, fNaive, fReorder, fVerbose ); in Abc_NtkSymmetries()
64 Abc_NtkSymmetriesUsingSandS( pNtk, fVerbose ); in Abc_NtkSymmetries()
78 void Abc_NtkSymmetriesUsingSandS( Abc_Ntk_t * pNtk, int fVerbose ) in Abc_NtkSymmetriesUsingSandS() argument
81 int nSymms = Sim_ComputeTwoVarSymms( pNtk, fVerbose ); in Abc_NtkSymmetriesUsingSandS()
113 Ntk_NetworkSymmsBdd( dd, pNtk, fNaive, fVerbose ); in Abc_NtkSymmetriesUsingBdds()
158 if ( fVerbose ) in Ntk_NetworkSymmsBdd()
308 void Ntk_SymFunGenerate( int nVars, int fVerbose ) in Ntk_SymFunGenerate() argument
322 if ( fVerbose ) in Ntk_SymFunGenerate()
327 if ( fVerbose ) in Ntk_SymFunGenerate()
[all …]
H A DabcReach.c51 DdNode * Abc_NtkInitStateVarMap( DdManager * dd, Abc_Ntk_t * pNtk, int fVerbose ) in Abc_NtkInitStateVarMap() argument
120 if ( fVerbose ) in Abc_NtkCreatePartitions()
124 if ( fVerbose ) in Abc_NtkCreatePartitions()
208 if ( fVerbose ) in Abc_NtkComputeReachable()
212 if ( fVerbose ) in Abc_NtkComputeReachable()
216 if ( fVerbose ) in Abc_NtkComputeReachable()
220 if ( fVerbose ) in Abc_NtkComputeReachable()
232 if ( fVerbose ) in Abc_NtkComputeReachable()
280 if ( fVerbose ) in Abc_NtkVerifyUsingBdds()
287 pbParts = Abc_NtkCreatePartitions( dd, pNtk, fReorder, fVerbose ); in Abc_NtkVerifyUsingBdds()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/
H A DplaCom.c116 int c, fVerbose = 0; in Abc_CommandReadPla() local
123 fVerbose ^= 1; in Abc_CommandReadPla()
181 int c, fVerbose = 0; in Abc_CommandWritePla() local
188 fVerbose ^= 1; in Abc_CommandWritePla()
238 int c, fVerbose = 0; in Abc_CommandPs() local
254 fVerbose ^= 1; in Abc_CommandPs()
301 int c, fVerbose = 0; in Abc_CommandGen() local
358 fVerbose ^= 1; in Abc_CommandGen()
417 fVerbose ^= 1; in Abc_CommandMerge()
455 int c, nVars = 4, fVerbose = 0; in Abc_CommandTest() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/ret/
H A DretCore.c69 RetValue = Abc_NtkRetimeIncremental( pNtk, nDelayLim, 1, 0, 0, fUseOldNames, fVerbose ); in Abc_NtkRetime()
72 RetValue = Abc_NtkRetimeIncremental( pNtk, nDelayLim, 0, 0, 0, fUseOldNames, fVerbose ); in Abc_NtkRetime()
75 … RetValue = Abc_NtkRetimeMinArea( pNtk, fForwardOnly, fBackwardOnly, fUseOldNames, fVerbose ); in Abc_NtkRetime()
79 … RetValue += Abc_NtkRetimeIncremental( pNtk, nDelayLim, 1, 1, fOneStep, fUseOldNames, fVerbose ); in Abc_NtkRetime()
81 … RetValue += Abc_NtkRetimeIncremental( pNtk, nDelayLim, 0, 1, fOneStep, fUseOldNames, fVerbose ); in Abc_NtkRetime()
84 … RetValue = Abc_NtkRetimeMinArea( pNtk, fForwardOnly, fBackwardOnly, fUseOldNames, fVerbose ); in Abc_NtkRetime()
86 … RetValue += Abc_NtkRetimeIncremental( pNtk, nDelayLim, 1, 1, 0, fUseOldNames, fVerbose ); in Abc_NtkRetime()
88 … RetValue += Abc_NtkRetimeIncremental( pNtk, nDelayLim, 0, 1, 0, fUseOldNames, fVerbose ); in Abc_NtkRetime()
91 RetValue = Abc_NtkRetimeLValue( pNtk, 500, fVerbose ); in Abc_NtkRetime()
97 if ( fVerbose ) in Abc_NtkRetime()
[all …]
H A DretLvalue.c34 static Vec_Int_t * Abc_NtkRetimeGetLags( Abc_Ntk_t * pNtk, int nIterLimit, int fVerbose );
40 static int Abc_NtkRetimeUsingLags( Abc_Ntk_t * pNtk, Vec_Int_t * vLags, int fVerbose );
61 int Abc_NtkRetimeLValue( Abc_Ntk_t * pNtk, int nIterLimit, int fVerbose ) in Abc_NtkRetimeLValue() argument
67 vLags = Abc_NtkRetimeGetLags( pNtk, nIterLimit, fVerbose ); in Abc_NtkRetimeLValue()
91 Vec_Int_t * Abc_NtkRetimeGetLags( Abc_Ntk_t * pNtk, int nIterLimit, int fVerbose ) in Abc_NtkRetimeGetLags() argument
106 if ( !Abc_NtkRetimeForPeriod( pNtk, vNodes, vLatches, FiMax, nIterLimit, fVerbose ) ) in Abc_NtkRetimeGetLags()
120 RetValue = Abc_NtkRetimeForPeriod( pNtk, vNodes, vLatches, FiBest, nIterLimit, fVerbose ); in Abc_NtkRetimeGetLags()
179 if ( Abc_NtkRetimeForPeriod( pNtk, vNodes, vLatches, Median, nMaxIters, fVerbose ) ) in Abc_NtkRetimeSearch_rec()
219 if ( fVerbose ) in Abc_NtkRetimeForPeriod()
362 int Abc_NtkRetimeUsingLags( Abc_Ntk_t * pNtk, Vec_Int_t * vLags, int fVerbose ) in Abc_NtkRetimeUsingLags() argument
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A Dacec.h53 int fVerbose; // verbose stats member
70 extern Gia_Man_t * Acec_ManDecla( Gia_Man_t * pGia, int fBooth, int fVerbose );
75 extern Vec_Int_t * Gia_ManDetectFullAdders( Gia_Man_t * p, int fVerbose, Vec_Int_t ** vCutsXor2 );
76 extern Vec_Int_t * Gia_ManDetectHalfAdders( Gia_Man_t * p, int fVerbose );
78 extern Vec_Int_t * Gia_PolynReorder( Gia_Man_t * pGia, int fVerbose, int fVeryVerbose );
79 …indOrder( Gia_Man_t * pGia, Vec_Int_t * vFadds, Vec_Int_t * vHadds, int fVerbose, int fVeryVerbose…
81 … Gia_PolynBuild( Gia_Man_t * pGia, Vec_Int_t * vOrder, int fSigned, int fVerbose, int fVeryVerbose…
83 extern Vec_Int_t * Ree_ManComputeCuts( Gia_Man_t * p, Vec_Int_t ** pvXors, int fVerbose );
85 extern void Ree_ManPrintAdders( Vec_Int_t * vAdds, int fVerbose );
87 extern Gia_Man_t * Acec_Normalize( Gia_Man_t * pGia, int fBooth, int fVerbose );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraCec.c70 if ( fVerbose ) in Fra_FraigSat()
126 if ( fVerbose ) in Fra_FraigSat()
156 if ( fVerbose ) in Fra_FraigSat()
182 if ( fVerbose ) in Fra_FraigSat()
202 if ( fVerbose ) in Fra_FraigSat()
203 pSat->fVerbose = fVerbose; in Fra_FraigSat()
277 if ( fVerbose ) in Fra_FraigSat()
332 if ( fVerbose ) in Fra_FraigCec()
348 if ( fVerbose ) in Fra_FraigCec()
360 if ( fVerbose ) in Fra_FraigCec()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifCom.c99 int fVerbose; in If_CommandReadLut() local
107 fVerbose = 1; in If_CommandReadLut()
114 fVerbose ^= 1; in If_CommandReadLut()
186 int fVerbose; in If_CommandPrintLut() local
194 fVerbose = 1; in If_CommandPrintLut()
201 fVerbose ^= 1; in If_CommandPrintLut()
245 int fVerbose; in If_CommandReadBox() local
254 fVerbose = 1; in If_CommandReadBox()
264 fVerbose ^= 1; in If_CommandReadBox()
325 int fVerbose; in If_CommandPrintBox() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/
H A DbacCom.c161 fVerbose ^= 1; in Bac_CommandRead()
262 int c, fVerbose = 0; in Bac_CommandWrite() local
275 fVerbose ^= 1; in Bac_CommandWrite()
367 fVerbose ^= 1; in Bac_CommandPs()
416 fVerbose ^= 1; in Bac_CommandPut()
470 fVerbose ^= 1; in Bac_CommandGet()
526 int c, fVerbose = 0; in Bac_CommandClp() local
533 fVerbose ^= 1; in Bac_CommandClp()
584 pPars->fVerbose ^= 1; in Bac_CommandCec()
688 int c, fVerbose = 0; in Bac_CommandTest() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsPth.c45 void Gia_GlaProveAbsracted( Gia_Man_t * p, int fSimpProver, int fVerbose ) {} in Gia_GlaProveAbsracted() argument
46 void Gia_GlaProveCancel( int fVerbose ) {} in Gia_GlaProveCancel() argument
47 int Gia_GlaProveCheck( int fVerbose ) { return 0; } in Gia_GlaProveCheck() argument
55 int fVerbose;
114 if ( pThData->fVerbose )
132 void Gia_GlaProveAbsracted( Gia_Man_t * pGia, int fSimpProver, int fVerbose )
134 extern Aig_Man_t * Dar_ManRwsat( Aig_Man_t * pAig, int fBalance, int fVerbose );
170 pThData->fVerbose = fVerbose;
175 if ( fVerbose ) Abc_Print( 1, "\nTrying to prove abstraction %d.\n", pThData->RunId );
179 void Gia_GlaProveCancel( int fVerbose )
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A Dsaig.h62 int fVerbose; member
117 extern Aig_Man_t * Saig_ManDupFoldConstrsFunc( Aig_Man_t * pAig, int fCompl, int fVerbose );
120 extern Aig_Man_t * Saig_ManDupFoldConstrsFunc2( Aig_Man_t * pAig, int fCompl, int fVerbose, i…
144 extern Vec_Int_t * Saig_ManFindIsoPerm( Aig_Man_t * pAig, int fVerbose );
145 extern Aig_Man_t * Saig_ManDupIsoCanonical( Aig_Man_t * pAig, int fVerbose );
146 …rn Aig_Man_t * Saig_ManIsoReduce( Aig_Man_t * pAig, Vec_Ptr_t ** pvCosEquivs, int fVerbose );
158 …int Ssw_SecSpecialMiter( Aig_Man_t * p0, Aig_Man_t * p1, int nFrames, int fVerbose );
161 extern Aig_Man_t * Saig_ManDecPropertyOutput( Aig_Man_t * pAig, int nLits, int fVerbose );
166 extern Aig_Man_t * Saig_ManRetimeForward( Aig_Man_t * p, int nMaxIters, int fVerbose );
175 …MvManSimulate( Aig_Man_t * pAig, int nFramesSymb, int nFramesSatur, int fVerbose, int fVeryVerbose…
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mio/
H A Dmio.c196 int fVerbose; in Mio_CommandReadLiberty() local
203 fVerbose = 0; in Mio_CommandReadLiberty()
210 fVerbose ^= 1; in Mio_CommandReadLiberty()
291 int c, fVerbose = 1; in Mio_CommandReadGenlib() local
324 fVerbose ^= 1; in Mio_CommandReadGenlib()
357 if ( fVerbose ) in Mio_CommandReadGenlib()
411 int fVerbose = 0; in Mio_CommandWriteGenlib() local
423 fVerbose ^= 1; in Mio_CommandWriteGenlib()
484 int fVerbose = 0; in Mio_CommandPrintGenlib() local
503 fVerbose ^= 1; in Mio_CommandPrintGenlib()
[all …]

12345678910>>...32