Salut Jean-Jacques, Je viens d'essayer de reproduire le bug dont tu parle, et je n'arrive pas aux memes conclusions que toi. ASIMUT me donne bien 'u' quand il evalue 'u' or '0' ... Aurais-tu un petit exemple qui mette en defaut ASIMUT ? A+ Ludo. On Fri, Mar 03, 2000 at 08:54:33AM +0100, Jean-Jacques LECLER wrote: > > Bonjour a tous, > > Attention si vous utilisez ASIMUT et sa capaciter a gerer l'etat > 'unknown'. > Il y a un bug dans l'evaluation des ABLs : Asimut considere que " '0' or > 'u' " > vaut '0' et non 'u'. Ceci peut poser probleme pour verifier qu'un bloc > ou un chip > demarre correctement apres la mise sous tension, ou lors de la creation > de > vecteurs de tests. > > Cette erreur disparait si on evalue la combinatoire par des BDDs > (option -bdd), > et non par des ABLs (defaut). > > Cordialement, > Jean-Jacques. > > -- > Jean-Jacques LECLER, > Tachys Technologies SA. > > e-mail : Jean-Jacques.Lecler@tachys.com > web : http://www.tachys.com > phone : (33) 1 44 27 88 44 > mobile : (33) 6 15 05 43 37 > p-mail : 8, rue du Capitaine SCOTT > 75015 PARIS > FRANCE > (_) ___ 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