| /dports/cad/alliance/alliance/src/vasy/src/ |
| H A D | vasy_reduce.c | 93 void VasyReduceVpnFig( VpnFigure ) in VasyReduceVpnFig() argument
95 vpnfig_list *VpnFigure; in VasyReduceVpnFig()
102 VasyPrintf( stdout, "--> VasyReduceVpnFig %s\n", VpnFigure->NAME );
103 VasyDebugSaveVpnFig( VpnFigure );
116 for ( VpnProc = VpnFigure->PROCESS;
122 VasyRedInstVpnProc( VpnFigure, VpnProc );
136 VasyDebugSaveVpnFig( VpnFigure );
145 for ( VpnProc = VpnFigure->PROCESS;
151 Reduced += VasyRedWaitVpnProc( VpnFigure, VpnProc );
167 VasyDebugSaveVpnFig( VpnFigure );
[all …]
|
| H A D | vasy_analys.c | 94 vpnfig_list *VpnFigure; in VasyAnalysisVpnProc()
168 VasyMultiWaitVpnProc( VpnFigure, RtlFigure, VpnProc );
172 VasyOneWaitVpnProc( VpnFigure, RtlFigure, VpnProc );
187 rtlfig_list *VasyAnalysisVpnFig( VpnFigure ) in VasyAnalysisVpnFig() argument
189 vpnfig_list *VpnFigure; in VasyAnalysisVpnFig()
202 RtlFigure = addrtlfig( VpnFigure->NAME );
204 VasySynthesisVpnDecl( VpnFigure, RtlFigure );
205 VasySynthesisVpnModel( VpnFigure, RtlFigure );
206 VasySynthesisVpnInstance( VpnFigure, RtlFigure );
213 for ( VpnProc = VpnFigure->PROCESS;
[all …]
|
| H A D | vasy_mulwait.c | 140 vpnfig_list *VpnFigure; in VasyMultiWaitHashWrite()
232 vpnfig_list *VpnFigure; in VasyMultiWaitArcWait2Wait()
393 vpnfig_list *VpnFigure; in VasyMultiWaitCreateVpnTrans()
499 vpnfig_list *VpnFigure; in VasyMultiWaitDestroyVpnTrans()
556 vpnfig_list *VpnFigure; in VasyMultiWaitFsmVpnProc()
602 VasyMultiWaitHashWrite( VpnFigure, VpnProc );
889 delvpntrans( VpnFigure, AsgTrans );
1020 vpnfig_list *VpnFigure; in VasyMultiWaitVpnProc()
1029 VasyDebugSaveVpnFig( VpnFigure );
1042 VasyMultiWaitFsmVpnProc( VpnFigure, VpnProc );
[all …]
|
| H A D | vasy_func.c | 97 vpnfig_list *VpnFigure;
346 vpnfig_list *VpnFigure; in VasyFuncVpnProc()
384 vpnfig_list *VpnFigure; in VasyFuncVpnInst()
414 void VasyFuncVpnFig( VpnFigure ) in VasyFuncVpnFig() argument
416 vpnfig_list *VpnFigure; in VasyFuncVpnFig()
428 VasyDebugSaveVpnFig( VpnFigure );
431 for ( VpnProc = VpnFigure->PROCESS;
435 VasyFuncVpnProc( VpnFigure, VpnProc );
438 for ( VpnInst = VpnFigure->INSTANCE;
442 VasyFuncVpnInst( VpnFigure, VpnInst );
[all …]
|
| H A D | vasy_redwait.c | 181 vpnfig_list *VpnFigure; in VasyRedWaitDelDriverVpnProc()
210 VasyDebugSaveVpnFig( VpnFigure );
502 vpnfig_list *VpnFigure; in VasyRedWaitRenameDefine()
556 vpnfig_list *VpnFigure; in VasyRedWaitLateralWait()
629 VasyDebugSaveVpnFig( VpnFigure );
808 VasyDebugSaveVpnFig( VpnFigure );
851 delvpnarc( VpnFigure, VpnArc );
902 vpnfig_list *VpnFigure; in VasyRedWait2WaitVpnProc()
918 VasyFigure = VpnFigure;
980 VasyDebugSaveVpnFig( VpnFigure );
[all …]
|
| H A D | vasy_elabo.c | 80 void VasyElaborateVpnFig( VpnFigure ) in VasyElaborateVpnFig() argument
82 vpnfig_list *VpnFigure; in VasyElaborateVpnFig()
100 VasyPrintf( stdout, "--> VasyElaborateVpnFig %s\n", VpnFigure->NAME );
111 for ( VpnDeclar = VpnFigure->DECLAR[ Type ];
127 SimulInit = VasySimulateVexExpr( VpnFigure, DeclAtom, DeclInit );
158 for ( VpnProc = VpnFigure->PROCESS;
162 VasySimulateVpnProc( VpnFigure, VpnProc );
169 for ( VpnDeclar = VpnFigure->DECLAR[ Type ];
219 VasyPrintf( stdout, "<-- VasyElaborateVpnFig %s\n", VpnFigure->NAME );
|
| H A D | vasy_preanal.c | 160 static void VasyPreAnalysisVpnProc( VpnFigure, VpnProc ) in VasyPreAnalysisVpnProc() argument
162 vpnfig_list *VpnFigure; in VasyPreAnalysisVpnProc()
259 void VasyPreAnalysisVpnFig( VpnFigure ) in VasyPreAnalysisVpnFig() argument
261 vpnfig_list *VpnFigure; in VasyPreAnalysisVpnFig()
267 VasyPrintf( stdout, "--> VasyPreAnalysisVpnFig %s\n", VpnFigure->NAME );
270 for ( VpnProc = VpnFigure->PROCESS;
274 VasyPreAnalysisVpnProc( VpnFigure, VpnProc );
279 VasyPrintf( stdout, "<-- VasyPreAnalysisVpnFig %s\n\n", VpnFigure->NAME );
|
| H A D | vasy_redact.c | 102 vpnfig_list *VpnFigure; in VasyRedActAddVpnDefine()
115 Number = GetVpnNumDeclDef( VpnFigure );
360 vpnfig_list *VpnFigure; in VasyRedActSubstVpnAct()
365 VasyFigure = VpnFigure;
394 vpnfig_list *VpnFigure; in VasyRedActVpnTrans()
473 AsgDeclar = searchvpndeclall( VpnFigure, AtomValue );
490 delvpnact( VpnFigure, VpnTrans, DelAct );
507 DefDeclar = VasyRedActAddVpnDefine( VpnFigure, VpnProc,
514 unionvpnline( VpnFigure, &NewAct->LINE, VpnAct->LINE );
539 delvpnact( VpnFigure, VpnTrans, DelAct );
[all …]
|
| H A D | vasy_debug.c | 256 void VasyDebugLocSaveVpnFig( VpnFigure, FileName, Line ) in VasyDebugLocSaveVpnFig() argument
258 vpnfig_list *VpnFigure; in VasyDebugLocSaveVpnFig()
269 Name = VpnFigure->NAME;
280 VpnFigure->NAME = namealloc( Buffer );
283 fprintf( stdout, " +++ VasyDebugSaveVpnFig %s.vpn\n", VpnFigure->NAME );
284 savevpnfig( VpnFigure );
286 VpnFigure->NAME = Name;
|
| H A D | vasy_onewait.c | 280 vpnfig_list *VpnFigure; in VasyOneWaitSubstVpnAct()
285 VasyFigure = VpnFigure;
313 vpnfig_list *VpnFigure; in VasyOneWaitAssignVpnSymbol()
1493 vpnfig_list *VpnFigure; in VasyOneWaitVpnTrans()
1538 VasyVexBddCreateBddCircuit( VpnFigure, VpnProc );
1608 AsgDeclar = searchvpndeclall( VpnFigure, AtomName );
1953 VasyVexBddDestroyBddCircuit( VpnFigure, VpnProc );
1971 void VasyOneWaitVpnProc( VpnFigure, RtlFigure, VpnProc ) in VasyOneWaitVpnProc() argument
1973 vpnfig_list *VpnFigure; in VasyOneWaitVpnProc()
2022 VasySupportVpnTrans( VpnFigure, VpnProc, ActionTrans, 1 );
[all …]
|
| H A D | vasy_vexbdd.c | 686 vpnfig_list *VpnFigure; in VasyVexBddSupportVpnSymbol()
702 VasyFigure = VpnFigure;
769 VasyFigure = VpnFigure;
804 VasyFigure = VpnFigure;
909 vpnfig_list *VpnFigure; in VasyVexBddConvertBdd2Vex()
940 vpnfig_list *VpnFigure; in VasyVexBddSearchBddCircuitInput()
969 vpnfig_list *VpnFigure; in VasyVexBddSearchBddCircuitStable()
1005 vpnfig_list *VpnFigure; in VasyVexBddAddBddCircuitInput()
1046 vpnfig_list *VpnFigure; in VasyVexBddDelBddCircuitInput()
1078 vpnfig_list *VpnFigure; in VasyVexBddDelBddCircuitOutput()
[all …]
|
| H A D | vasy_synth.c | 131 vpnfig_list *VpnFigure; in VasySynthesisVpnDecl()
228 vpnfig_list *VpnFigure; in VasySynthesisVpnModel()
240 for ( VpnModel = VpnFigure->MODEL;
284 vpnfig_list *VpnFigure; in VasySynthesisVpnInstance()
472 vpnfig_list *VpnFigure; in VasySynthesisOneWaitVpnTrans()
665 vpnfig_list *VpnFigure; in VasySynthesisOneWaitVpnProc()
702 vpnfig_list *VpnFigure; in VasySynthesisMultiWaitVpnProc()
843 vpnfig_list *VpnFigure; in VasySynthesisSimpleAssignVpnProc()
1026 vpnfig_list *VpnFigure; in VasySynthesisConditionnalVpnProc()
1100 vpnfig_list *VpnFigure; in VasySynthesisWithSelectVpnProc()
[all …]
|
| H A D | vasy_parse.c | 826 vpnfig_list *VpnFigure; local
850 VpnFigure = addvpnfig( VbhFigure->NAME );
852 VvhVbh2Vpn( VbhFigure, VpnFigure, 1 );
859 if ( VpnFigure->FUNCTION != (vpnfunc_list *)0 )
868 for ( VpnProc = VpnFigure->PROCESS;
907 delvpnarc( VpnFigure, VpnArc );
919 addvpnarctrans( VpnFigure, VpnTrans, AsgPlace );
920 addvpnarcplace( VpnFigure, AsgPlace, AsgTrans );
925 for ( VpnProc = VpnFigure->PROCESS;
939 VasyDebugSaveVpnFig( VpnFigure );
[all …]
|
| H A D | vasy_main.c | 143 vpnfig_list *VpnFigure; local
169 VpnFigure = VasyParseVbh2VpnFig( VbhFigure );
176 VasyPreAnalysisVpnFig( VpnFigure );
183 VasyFuncVpnFig( VpnFigure );
190 VasyElaborateVpnFig( VpnFigure );
197 VasyReduceVpnFig( VpnFigure );
204 RtlFigure = VasyAnalysisVpnFig( VpnFigure );
|
| H A D | vasy_support.c | 358 vpnfig_list *VpnFigure; in VasySupportUsedVpnTrans()
913 vpnfig_list *VpnFigure; in VasySupportVpnAct()
1057 vpnfig_list *VpnFigure; in VasySupportMergeVpnTrans()
1117 vpnfig_list *VpnFigure; in VasySupportCreateVpnTrans()
1180 vpnfig_list *VpnFigure; in VasySupportResetVpnTrans()
1234 vpnfig_list *VpnFigure; in VasySupportDestroyVpnTrans()
1349 vpnfig_list *VpnFigure; in VasySupportVpnTransEventBitVex()
1358 VasyFigure = VpnFigure;
1543 vpnfig_list *VpnFigure; in VasySupportVpnTransBitVex()
1555 VasyFigure = VpnFigure;
[all …]
|
| H A D | vasy_simul.c | 1397 static int VasySimulateVexGuard( VpnFigure, VexGuard ) in VasySimulateVexGuard() argument
1399 vpnfig_list *VpnFigure; in VasySimulateVexGuard()
1406 VasyFigure = VpnFigure;
1426 vpnfig_list *VpnFigure; in VasySimulateVexExpr()
1433 VasyFigure = VpnFigure;
1452 vpnfig_list *VpnFigure; in VasySimulateGetVpnActAtom()
1487 VasyFigure = VpnFigure;
1564 vpnfig_list *VpnFigure; in VasySimulateVpnAct()
1636 vpnfig_list *VpnFigure; in VasySimulateVpnPlace()
1715 void VasySimulateVpnProc( VpnFigure, VpnProc ) in VasySimulateVpnProc() argument
[all …]
|
| H A D | vasy_redinst.c | 1113 vpnfig_list *VpnFigure; in VasyRedInstLateralWait()
1118 VasyFigure = VpnFigure;
1683 vpnfig_list *VpnFigure; in VasyRedInstStartVpnProc()
1699 VasyFigure = VpnFigure;
1717 vpnfig_list *VpnFigure; in VasyRedInstImmediateVpnProc()
1774 VasyDebugSaveVpnFig( VpnFigure );
1788 vpnfig_list *VpnFigure; in VasyRedInstLocalVpnProc()
1808 VasyFigure = VpnFigure;
1895 vpnfig_list *VpnFigure; in VasyRedInstVpnProc()
1904 VasyDebugSaveVpnFig( VpnFigure );
[all …]
|
| /dports/cad/alliance/alliance/src/vpn/src/ |
| H A D | main.c | 97 vpnfig_list *VpnFigure; in ExpandVpnTrans()
186 static void ExpandVpnFigure( VpnFigure ) in ExpandVpnFigure() argument
188 vpnfig_list *VpnFigure; in ExpandVpnFigure()
193 for ( VpnProc = VpnFigure->PROCESS;
200 for ( VpnFunc = VpnFigure->FUNCTION;
219 vpnfig_list *VpnFigure; local
303 VpnFigure = addvpnfig( InputFileName );
308 VpnFigure = getvpnfig( InputFileName );
313 ExpandVpnFigure( VpnFigure );
330 savevpnfig( VpnFigure );
[all …]
|
| H A D | toto.c | 98 vpnfig_list *VpnFigure; local
173 VpnFigure = getvpnfig( InputFileName );
177 simpvpnfig( VpnFigure );
180 if ( FlagVerbose ) viewvpnfig( VpnFigure );
184 VpnFigure->NAME = namealloc( OutputFileName );
185 savevpnfig( VpnFigure );
188 delvpnfig( VpnFigure->NAME );
|
| H A D | vpnsimp.c | 158 void simpvpnfig( VpnFigure ) in simpvpnfig() argument
160 vpnfig_list *VpnFigure; in simpvpnfig()
165 for ( VpnProc = VpnFigure->PROCESS;
172 for ( VpnFunc = VpnFigure->FUNCTION;
|
| H A D | vpnunion.c | 84 vpnline_list *unionvpnline( VpnFigure, HeadLine, SourceLine ) in unionvpnline() argument
86 vpnfig_list *VpnFigure; in unionvpnline()
96 addvpnfileline( VpnFigure, HeadLine, VpnLine->NAME, VpnLine->LINE );
|
| /dports/cad/alliance/alliance/src/vbh/src/ |
| H A D | vpd_drive.c | 259 vpnfig_list *VpnFigure; in VpnWriteDeclar()
304 vpnfig_list *VpnFigure; in VpnWriteAttribute()
447 vpnfig_list *VpnFigure; in VpnWriteProcess()
503 vpnfig_list *VpnFigure; in VpnWriteFunction()
572 vpnfig_list *VpnFigure; in VpnWriteModel()
626 vpnfig_list *VpnFigure; in VpnWriteInstance()
681 vpnfig_list *VpnFigure; in VpnWriteFigure()
685 VpnFigure->NAME );
687 VpnWriteDeclar( VpnFigure );
691 VpnWriteModel( VpnFigure );
[all …]
|
| H A D | vpd_parse.c | 403 static int VpnLoadFigure( VpnFigure ) in VpnLoadFigure() argument
405 vpnfig_list *VpnFigure; in VpnLoadFigure()
763 VpnProc = addvpnproc( VpnFigure, Name );
778 VpnFunc = addvpnfunc( VpnFigure, Name );
826 VpnModel = searchvpnmod( VpnFigure, Name );
870 VpnModel = addvpnmod( VpnFigure, Name );
899 VpnFigure->NAME = namealloc( Name );
900 VpnFigure->FLAGS = Value1;
982 void vpnloadvpnfig( VpnFigure, FigureName ) in vpnloadvpnfig() argument
984 vpnfig_list *VpnFigure; in vpnloadvpnfig()
[all …]
|
| H A D | vvh_drive.c | 83 void vhdlsavevpnfig( VpnFigure ) in vhdlsavevpnfig() argument
85 vpnfig_list *VpnFigure; in vhdlsavevpnfig()
87 vvherror( VVH_ERROR_DRIVE_FILE, VpnFigure->NAME, 0 );
|
| H A D | vvh_parse.c | 86 void vhdlloadvpnfig( VpnFigure, FigureName, Reduced ) in vhdlloadvpnfig() argument
88 vpnfig_list *VpnFigure; in vhdlloadvpnfig()
95 VvhVbh2Vpn( VbhFigure, VpnFigure, Reduced );
|