alliance-support '2000
Re: Problem with alliance


Ludovic JACOMME (Ludovic.JACOMME@asim.lip6.fr)
Wed, 29 Mar 2000 12:28:22 +0200

Dear Wilfried, As Anthony Lester told you some days ago in our mailling-list, Yagle and Tas are not any longer distributed with the Alliance package. The professional version will be soon available on the avertec web site (but it will be free only for university ...) If you want to use the old version of Yagle (Alliance-3.2) with the actual Alliance's version : 1) You have to use the spice logical format (.spi) instead of the alliance logical format (.al). (The alliance logical format has changed ...) 2) Unfortunately, the old version of Yagle reconizes the new flipflops (cells sff1_x? in the sxlib library) not as flipflops but as two latches. As a consequence you can't use formal proof (with PROOF) to compare the initial RTL description (.vbe) and the one generated by Yagle. For that point i see only one solution : use ASIMUT simulation instead of formal proof. If you want to use the old version of Tas (Alliance-3.2) with the actual Alliance's version : 1) You only have to use the spice logical format (.spi) instead of the Alliance logical format (.al). (for the same reasons) Best regards, Ludo. On Wed, Mar 29, 2000 at 11:57:45AM +0200, Wilfried Tenten wrote: > Dear Ludo, > > many thanks for that steady support. System is now working. There is one > question > left open: > > In the other tutorials, you have referenced the yzgle and tas > > Whatabout these packages? I cannot see these ones. I remember, you told > me > that the yagle is now a professional package. How can I use that from > the version3. > I tried it, but yagle was nbot happy, saying: wrong version! > > What shall I do? Are these both packages important to have or not? > > Again much thanks for that great software and my very best regards > > Wilfried > > Ludovic JACOMME wrote: > > > > Hi Wilfried, > > > > I found It ! It's due to your MBK_CATA_LIB environement > > variable. > > The current directory "." should not appear in this environement > > variable. > > I have modified the Makefile (it is available in > > http://asim.lip6.fr/~ludo/vasy/vasy-1.05-04_tutorial/Makefile) > > in order to set properly the MBK_CATA_LIB environement variable. > > > > So, with this new Makefile, you run : > > > > make clean > > make > > > > And everything should be OK. > > > > Thanks for your help and your experiments, > > > > Best regards, Ludo. > > > > (_) ___ Ludovic JACOMME > > _ _ ( ) > > ( ) ( ) ( 6 ) Laboratoire LIP6, Equipe ASIM > > ( ) (_) ( _ ) Couloir 55-65, 2eme etage, > > ( )___ ( ) Universite P. et M. Curie (P6) > > (_____) (_) 4 place Jussieu, 75252 Paris Cedex 05 > > > > Tel: (33) 01.44.27.54.15 > > Fax: (33) 01.44.27.72.80 > > ICQ: 62526530 > > > > mailto: Ludovic.Jacomme@asim.lip6.fr > > http: //asim.lip6.fr/~ludo > > -- > > Mit freundlichen Gruessen / with my best regards > =================================================================== > Dr. Wilfried Tenten Buero/Office: [49] (7121)35-2986 > Robert Bosch GmbH FAX: [49] (7121)35-1746 > Dept. K8/EIS2 > D-72762 Reutlingen Internet: wilfried.tenten@de.bosch.com > Germany > > K8/EIS (Intranet): http://www.rt.bosch.de/K8/EL1/EIS/Welcome.htm > OPTIMISTIC: > http://www.imse.cnm.es/esd-msd/PROJECTS/OPTIMISTIC/abstract1.html -- (_) ___ Ludovic JACOMME _ _ ( ) ( ) ( ) ( 6 ) Laboratoire LIP6, Equipe ASIM ( ) (_) ( _ ) Couloir 55-65, 2eme etage, ( )___ ( ) Universite P. et M. Curie (P6) (_____) (_) 4 place Jussieu, 75252 Paris Cedex 05 Tel: (33) 01.44.27.54.15 Fax: (33) 01.44.27.72.80 ICQ: 62526530 mailto: Ludovic.Jacomme@asim.lip6.fr http: //asim.lip6.fr/~ludo

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 22 March 2001.