This software belongs to the ALLIANCE CAD system from the CAO-VLSI team at
ASIM/LIP6/UPMC laboratory.
LIP6/ASIM
University P. et M. Curie
4, place Jussieu
75252 PARIS Cedex 05
FRANCE
Fax : {33/0} 1.44.27.62.86
E-mail support : alliance-support@asim.lip6.fr
normExpr - normalizes an expression
#include logmmm.h"
void normExpr(expr)
chain_list *expr;
normExpr() sorts recursively the arguments of an expression by using predefined rules. The operator expressions are sorted by increasing operator number and arity of the first level. The atomic expressions are put at the end of the operator expressions.
/* let's suppose that expr1 = (AND a (XOR b c a) (NOT h) (AND e g) (OR b a)) */
normExpr(expr1);
displayExpr(expr1);
/* it will display
(AND (OR b a) (AND e g) (XOR b c a) (NOT h) a)
*/
freeExpr(expr1);
log(1) , abl(1) , sortExpr(3) , maxExpr(3) , minExpr(3) , copyExpr(3) , substExpr(3) , substPhyExpr(3) , flatArityExpr(3) , flatPolarityExpr(3) .
This tool is under development at the ASIM/LIP6/UPMC laboratory, cao-vlsi research team.
We need your feedbak to improve documentation and tools. If you find bugs, please fill-in the form at http://asim.lip6.fr/alliance/support/bug-report/ Thanks for doing this.