riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

gloups

This commit is contained in:
Ludovic Jacomme 2002-03-26 14:59:50 +00:00
parent 2a7c84f4b2
commit 32445d46a4
5 changed files with 24 additions and 152 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
alliance/src/fmi/src/fmi_bdd.c
View File

@ -18,12 +18,12 @@
# include <stdio.h>
# include <string.h>
# include MUT_H
# include AUT_H
# include ABL_H
# include BDD_H
# include FSM_H
# include FTL_H
# include "mut.h"
# include "aut.h"
# include "abl.h"
# include "bdd.h"
# include "fsm.h"
# include "ftl.h"
# include "fmi_bdd.h"

12
alliance/src/fmi/src/fmi_main.c
View File

@ -42,12 +42,12 @@
| |
\------------------------------------------------------------*/
# include MUT_H
# include AUT_H
# include ABL_H
# include BDD_H
# include FSM_H
# include FTL_H
# include "mut.h"
# include "aut.h"
# include "abl.h"
# include "bdd.h"
# include "fsm.h"
# include "ftl.h"
# include <stdio.h>
# include <stdlib.h>

12
alliance/src/fmi/src/fmi_optim.c
View File

@ -20,13 +20,13 @@
# include <string.h>
# include <ctype.h>
# include MUT_H
# include "mut.h"
# include LOG_H
# include AUT_H
# include ABL_H
# include BDD_H
# include FSM_H
# include FTL_H
# include "aut.h"
# include "abl.h"
# include "bdd.h"
# include "fsm.h"
# include "ftl.h"
# include "fmi_optim.h"

12
alliance/src/fmi/src/fmi_parse.c
View File

@ -20,12 +20,12 @@
# include <string.h>
# include <ctype.h>
# include MUT_H
# include AUT_H
# include ABL_H
# include BDD_H
# include FSM_H
# include FTL_H
# include "mut.h"
# include "aut.h"
# include "abl.h"
# include "bdd.h"
# include "fsm.h"
# include "ftl.h"
# include "fmi_parse.h"

128
alliance/src/fmi/src/fsa_bdd.c
View File

@ -1,128 +0,0 @@
/*------------------------------------------------------------\
| |
| Tool : FSA |
| |
| File : fsa_bdd.c |
| |
| Authors : Jacomme Ludovic |
| |
| Date : 04.12.96 |
| |
\------------------------------------------------------------*/
/*------------------------------------------------------------\
| |
| Include Files |
| |
\------------------------------------------------------------*/
# include <stdio.h>
# include <string.h>
# include MUT_H
# include AUT_H
# include ABL_H
# include BDD_H
# include FSM_H
# include FTL_H
# include PAT_H
# include PPT_H
# include "fsa_error.h"
# include "fsa_bdd.h"
/*------------------------------------------------------------\
| |
| Constants |
| |
\------------------------------------------------------------*/
/*------------------------------------------------------------\
| |
| Types |
| |
\------------------------------------------------------------*/
/*------------------------------------------------------------\
| |
| Variables |
| |
\------------------------------------------------------------*/
/*------------------------------------------------------------\
| |
| Private variables |
| |
\------------------------------------------------------------*/
/*------------------------------------------------------------\
| |
| Functions |
| |
\------------------------------------------------------------*/
/*------------------------------------------------------------\
| |
| Fsa Fsm Make Bdd Circuit |
| |
\------------------------------------------------------------*/
bddcircuit *FsaFsmMakeBddCircuit( FsmFigure )
fsmfig_list *FsmFigure;
{
fsmin_list *ScanIn;
fsmout_list *ScanOut;
bddsystem *BddSystem;
bddcircuit *BddCircuit;
BddSystem = createbddsystem( 50, 10000, 1000, 900000 );
reorderbddsystemdynamic( BddSystem, reorderbddsystemsimple, 100000, 50 );
BddCircuit = createbddcircuit( FsmFigure->NAME,
FsmFigure->NUMBER_IN + FsmFigure->NUMBER_OUT,
FsmFigure->NUMBER_STATE, BddSystem );
for ( ScanIn = FsmFigure->IN;
ScanIn != (fsmin_list *)0;
ScanIn = ScanIn->NEXT )
{
addbddcircuitin( (bddcircuit *)0, ScanIn->NAME,
(bddindex )0, BDD_IN_MODE_LAST );
}
for ( ScanOut = FsmFigure->OUT;
ScanOut != (fsmout_list *)0;
ScanOut = ScanOut->NEXT )
{
addbddcircuitin( (bddcircuit *)0, ScanOut->NAME,
(bddindex )0, BDD_IN_MODE_LAST );
}
FsmFigure->CIRCUIT = BddCircuit;
makefsmbddnode( FsmFigure );
reorderbddsystemwindow( BddSystem );
return( BddCircuit );
}
/*------------------------------------------------------------\
| |
| Fsa Fsm Convert Bdd Circuit |
| |
\------------------------------------------------------------*/
void FsaFsmConvertBddCircuit( FsmFigure )
fsmfig_list *FsmFigure;
{
bddcircuit *BddCircuit;
bddsystem *BddSystem;
BddCircuit = FsmFigure->CIRCUIT;
BddSystem = BddCircuit->BDD_SYSTEM;
reorderbddsystemwindow( BddSystem );
convertfsmbddnodeabl( FsmFigure );
destroybddcircuit( BddCircuit );
destroybddsystem( BddSystem );
FsmFigure->CIRCUIT = (bddcircuit *)0;
}