a verifier :

jpc      : dpr fitpath  mbkap
fred     : genlib mbk mbkvti grog flop genview mbkmg
ludo     : graal syf dreal druc rds rdsgds rdscif
gregoire : lynx
mourad   : mbkvrlog
karim    : elp mbkal rcn tas
anthony  : yaggle mbkspice
pascal	 : cns


a metrre a jour:

ab         : rage 
amar       : testools
franck     : amg bsg lvx rfg ring rsa s2r 
ged        : rds2ps
kiki       : pat genpat
pirouz     : asimut asm beh behvhdl mbkvhdl
rejouan    : gscr scr
czo        : alcban bdd icones sl flatbeh mbkedif mbkhilo mbktools yeap
ac         : fpga



alcban
amg
asimut : VHDL logic simulator
asm
bdd
beh
behvhdl
bsg
cns
dpr
dreal
druc
elp
fitpath
flatbeh
flop
fpga
genlib
genpat
genview
graal
grog
gscr
icones
lvx
lynx
mbk
mbkal
mbkap
mbkedif
mbkhilo
mbkmg
mbkspice
mbktools
mbkvhdl
mbkvrlog
mbkvti
pat
rage
rcn
rds
rds2ps
rdscif
rdsgds
rfg
ring
rsa
s2r
scr
sl
syf
tas
testools
yagle
yeap




alcteam :
--------

Gregoire.Avot@asim.lip6.fr
Mourad.Aberbour@asim.lip6.fr
Pirouz.Bazargan-Sabet@asim.lip6.fr
Abdelhafid.Bouaraoua@asim.lip6.fr
Arnaud.Caron@asim.lip6.fr
Jean-Paul.Chaput@asim.lip6.fr
Anne.Derieux@asim.lip6.fr
Gilles-Eric.Descamps@asim.lip6.fr
Karim.Dioury@asim.lip6.fr
Olivier.Florent@asim.lip6.fr
Alain.Greiner@asim.lip6.fr
Ludovic.Jacomme@asim.lip6.fr
Anthony.Lester@asim.lip6.fr
Frederic.Petrot@asim.lip6.fr
Housseine.Rejouan@asim.lip6.fr
Olivier.Sirol@asim.lip6.fr
Huu-Nghia.Vuong@asim.lip6.fr
Franck.Wajsburt@asim.lip6.fr




RESPONSABLES OUTILS et BIBLIOTHEQUES ALLIANCE

(Juin 1997)

BIBLIOTHEQUES (les numeros de version ne sont pas significatifs)

syf        Abl101.a        / L.Jacomme     / manipulation ABL (SYF / YEAP)
gscr       Apr102.a        / H.Rejouan     / fonctions placement/:routage (SCR / BBR)
syf        Aut101.a        / L.Jacomme     / Utilitaires pour ABL (SYF / YEAP)
syf        Bdd101.a        / L.Jacomme     / BDD  (SYF / YEAP)
beh        Beh109.a        / P.Bazargan    / fonctions de creation/destruction befig
beh        Bhl109.a        / P.Bazargan    / fonctions d'acces befig
behvhdl    Bvl111.a        / P.Bazargan    / parser-driver fichier .vbe <-> befig
cns        Cns200.a        / A.Lester      / fonctions d'acces cnsfig
elp        Elp104.a        / K.Dioury      / parser fichier .elp (TAS)
yagle      Fcl100.a        / A.Lester      / reconnaissance formes (YAGLE)
fitpath    Fgn107.a        / J.P. Chaput   / langage FPGEN
Fks101.a        / L.Jacomme     / parser fichier .kiss2 -> fsmfig
Fsm101.a        / L.Jacomme     / fonctions d'acces fsmfig
Ftl101.a        / L.Jacomme     / choix du parser fsmfig
Fvh101.a        / L.Jacomme     / parser fichier .fsm (3e partie)
Gam000.a        / Franck        / generateur AMG
Gbs201.a        / Franck        / generateur BSG
Gfp107.a        / J.P. Chaput   / generateurs FPLIB
Gga300.a        / Franck        / generateur RSA
Ggr001.a        / F.Petrot      / genrateur GROG
Grf604.a        / P.Bazargan    / generateur RFG
lInf109.a       / A.Lester      / parser fichier .inf   (YAGLE et TAS)
Mal500.a        / K.Dioury      / parser-driver fichier .al <-> lofig
Map403.a        / J.P. Chaput   / parser-driver fichier .ap <-> phfig
Mcl408.a        / F.Petrot      / parser-driver fichier .hnl <-> lofig
Mgl100.a        / M.Aberbour    / driver verilog .vlg <- lofig
Mcp402.a        / F.Petrot      / parser-driver fichier .cp <-> lofig
Mel406.a        / O.Florent     / parser-driver EDIF <-> lofig
Mgn324.a        / F.Petrot      / langage GENLIB
Mhl403.a        / O.Florent     / driver lofig -> HILO
Mlo406.a        / F.Petrot      / fonctions d'acces lofig
Mlu413.a        / F.Petrot      / utilitaires lofig
Mmg402.a        / F.Petrot      / parser-driver MODGEN <-> phfig
Mph402.a        / F.Petrot      / fonctions d'acces phfig
Mpu404.a        / F.Petrot      / utilitaires phfig
Msl614.a        / A.Lester      / parser-driver SPICE <-> lofig
Mut317.a        / F.Petrot      / utilitaires MBK
Mvl409.a        / P.Bazargan    / parser-driver .vst
Pat106.a        / P.Bazargan/   / fonctions creation/destruction structure pat
Pgn101.a        / K.Vuong       / langage GENPAT/
Phl106.a        / P.Bazargan    / fonctions acces structure pat
Ppt106.a        / P.Bazargan    / parser-driver fichier .pat <-> structure pat
Pwl100.a        / O.Florent     / driver patterns HILO
Rcf108.a        / L.Jacomme     / parser-driver fichier .cif <-> rdsfig
Rcn102.a        / K.Dioury      / representation des resistances dans la lofig
Rds206.a        / L.Jacomme     / fonctions d'acces rdsfig
Rfm207.a        / L.Jacomme     / expansion symbolique rectangles
Rgs109.a        / L.Jacomme     / parser-driver fichier .gds <-> rdsfig
Rpr209.a        / L.Jacomme     / parser fichier .rds (S2R / LYNX)
Rps103.a        / GED           / driver rdsfig-> postscript
Rtl107.a        / L.Jacomme     / choix parser rdsfig
Rut205.a        / L.Jacomme     / utilitaires rdsfig
Rwi106.a        / L.Jacomme     / fenetrage rdsfig
Tas510.a        / K.Dioury      / Calcul delais elementaires pour TAS
Ttv100.a        / K.Dioury      / parser-driver .ttv et fonctions d'acces ttvfig
Vrd300.a        / L.Jacomme     / DRUC pour GRAAL
Yag200.a        / A.Lester      / fonctions de desassemblage (YAGLE / TAS)
log200.a        / O.Sirol       / ABL et BDD (LOGIC / ASIMUT)

OUTILS

alligator       A. Caron
amg             Franck
asimut          P. Bazargan
bbr             F. Petrot
bsg             Franck
dlxasm          P. Bazargan
dpr             J.P. Chaput
dreal           L. Jacomme
druc            L. Jacomme
genlib          F. Petrot
genpat          H.N. Vuong
genscan         A. Guettaf
genview         F. Petrot
graal           L. Jacomme
grog            F. Petrot
l2p             GED
logic           O. Sirol
lvx             Franck
lynx            G. Avot
netoptim        O. Sirol
padlib          F. Wajsburt
proof           O. Sirol
rage            A. Bouaraoua
rfg             Franck
ring            F. Wajburt
rsa             Franck
s2r             F. Wajsburt
sclib           A. Derieux
scr             H. Rejouan
syf             L. Jacomme
tas             K. Dioury
yagle           A.Lester




Dans l'ordre make


MBK     = mbk

RCN     = rcn

MBK_LO  = mbkal mbkedif mbkhilo mbkspice mbkvhdl mbkvti

MBK_PH  = mbkap mbkmg mbkvti mbkvrlog

BDD     = bdd

BEH	= beh

BEHV    = behvhdl

APR     = gscr

PAT     = pat

RDS     = rds

RDS_GEN = rdscif rdsgds

ELP     = elp

ICON    = icones

GENLIB  = genlib

RSA     = rsa

BLC_GEN = bsg rfg

amg
asimut

e-mail :


mbk	 fred
rcn	 karim
mbkal	 karim
mbkedif	 olivier  rhosts
mbkhilo	 olivier  rhosts dev
mbkspice antony   rhosts dev
mbkvhdl	 pirouz   rhosts dev
mbkvti	 fred     rhosts
mbkvrlog mourad
mbkap	 jpc      
mbkmg	 fred
bdd	 czo      rhosts
beh	 pirouz 
behvhdl	 pirouz   rhosts
gscr	 rejouan  rhosts
pat	 kiki     rhosts
rds	 ludo
rdscif	 ludo
rdsgds	 ludo
elp	 karim
icones	 czo      rhosts
cns	 pascal
alcban  czo
genlib	 fred

rsa	 franck   rhosts
bsg	 franck   rhosts
rfg      franck   rhosts
amg	 franck   rhosts

asimut	 pirouz   rhosts
asm      pirouz   rhosts

fitpath  jpc
dpr      jpc
druc	 ludo
syf	 ludo
dreal	 ludo
graal	 ludo
rage	 ab
genview	 fred
flop	 fred
grog	 fred
rds2ps	 ged (l2p)
scr	 rejouan
lvx	 franck
ring	 franck
s2r	 franck
lynx	 gregoire
genpat	 kiki
sl	 czo
yagle	 anthony
tas	 karim

testools amar
flatbeh  czo
mbktools czo



################################

sclib	anne
fpga	ac






%%%%%%%%% building mbk
mph408.h
libMph408.a
mpu405.h
libMpu405.a
mlo407.h 
libMlo407.a
mlu414.h
libMlu414.a
mut323.h
libMut323.a
%%%%%%%%% building rcn
libRcn102.a
%%%%%%%%% building mbkal
libMal500.a
mal500.h
%%%%%%%%% building mbkedif
libMel407.a
%%%%%%%%% building mbkhilo
libMhl403.a
%%%%%%%%% building mbkspice
libMsl614.a
msl614.h
%%%%%%%%% building mbkvhdl
libMvl409.a
%%%%%%%%% building mbkvti
libMcp405.a
libMcl410.a
mcp405.h
mcl410.h
%%%%%%%%% building mbkvrlog
libMgl100.a
%%%%%%%%% building mbkap
libMap406.a
%%%%%%%%% building mbkmg
libMmg402.a
%%%%%%%%% building bdd
log201.h
liblog201.a
%%%%%%%%% building beh
beh109.h
libBeh109.a
bhl109.h
libBhl109.a
%%%%%%%%% building behvhdl
bvl111.h
libBvl111.a
%%%%%%%%% building gscr
apr102.h
libApr102.a
%%%%%%%%% building pat
pat106.h
libPat106.a
libPhl106.a
ppt106.h
libPpt106.a
%%%%%%%%% building rds
libRds207.a
rds207.h
libRfm208.a
rfm208.h
libRut206.a
rut206.h
libRtl108.a
rtl108.h
libRpr210.a
rpr210.h
libRwi107.a
rwi107.h
%%%%%%%%% building rdscif
rcf109.h
libRcf109.a
%%%%%%%%% building rdsgds
rgs110.h
libRgs110.a
%%%%%%%%% building elp
libElp104.a
elp104.h
%%%%%%%%% building icones
icn201.h
iac201.h
icu201.h
libIcn201.a
libIcc201.a
libIca201.a
libIcu201.a
%%%%%%%%% building genlib
genlib
libMgn327.a
genlib.h
mgn327.h
mbkgen.h
%%%%%%%%% building rsa
gga301.h
libGga301.a
rsa
%%%%%%%%% building bsg
bsg
gbs201.h
libGbs201.a
%%%%%%%%% building rfg
rfg
grf604.h
libGrf604.a
%%%%%%%%% building amg
gam000.h
libGam000.a
amg
%%%%%%%%% building asimut
asimut
%%%%%%%%% building cns
libCns202.a
cns202.h
%%%%%%%%% building alcban
alcbanner
%%%%%%%%% building asm
dlx_asm
mips_asm
%%%%%%%%% building fitpath
libGfp110.a
gfp110.h
libFgn110.a
fgn110.h
fpgen.h
fpgen
%%%%%%%%% building dpr
dpr
%%%%%%%%% building druc
vrd300.h
druc
libVrd300.a 
%%%%%%%%% building syf
aut102.h
libAut102.a
abl102.h
libAbl102.a
bdd102.h
libBdd102.a
fsm102.h
libFsm102.a
libFks102.a
fvh102.h
libFvh102.a
ftl102.h
libFtl102.a
syf
xfsm
xpat
%%%%%%%%% building dreal
dreal
%%%%%%%%% building graal
graal
%%%%%%%%% building rage
rage
%%%%%%%%% building genview
genview
genview_cpp
%%%%%%%%% building flop
bbr
%%%%%%%%% building grog
libGgr001.a
grog
%%%%%%%%% building rds2ps
rps103.h
libRps103.a
l2p
%%%%%%%%% building scr
scr
%%%%%%%%% building lvx
lvx
%%%%%%%%% building ring
ring
%%%%%%%%% building s2r
s2r
%%%%%%%%% building lynx
lynx
flatrds
%%%%%%%%% building genpat
libPgn102.a
genpat
genpat.h
%%%%%%%%% building sl
glop
bop
proof
scmap
c4map
%%%%%%%%% building yagle
libInf109.a
inf109.h
libFcl102.a
fcl102.h
libYag202.a
yag202.h
yagle
%%%%%%%%% building tas
libTel100.a
libTrc100.a
trc100.h
libTtv110.a
ttv110.h
libTas521.a
tas521.h
tas
etas
%%%%%%%%% building testools
genscan
%%%%%%%%% building flatbeh
flatbeh
%%%%%%%%% building mbktools
x2y
flatlo
flatph

