alliance-support '1998
About -bdd in asimut!


Meng Jie (mengjie@vuse.vanderbilt.edu)
Mon, 30 Mar 1998 10:39:15 -0700

Hi, When I use asimut to compile amd.vbe, it needs -bdd parameter, if I only use -b -c, as the tutorial says, it says " Fatal error 101 executing `beh_abl2gex`: unknown terminal operand `'d'` ". I read the manual of asimut , and -bdd means " use BDDs to represent expressions...," that means this parameter is not necessary, just used for accelerating the compiling. Why it is necessary for amd compiling? Thanks. Jie

 



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