ABLTOBDDCCT(3) BDD functions ABLTOBDDCCT(3)ORIGIN
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
Paris, France.
Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users@asim.lip6.fr
NAME
ablToBddCct - converts an ABL into a BDD within a circuit
SYNOPSYS
#include "logmmm.h"
pNode ablToBddCct(pC,expr)
pCircuit pC;
chain_list *expr;
PARAMETERS
pC Circuit in which is made the conversion
expr expression to convert
DESCRIPTION
ablToBddCct() constructs the graph that is computed from expr. This function provides the basic method for constructing easily the BDDs.
The applyBdd() function is called recursively by going through the ABL.
EXAMPLE
#include "mutnnn.h" /* mbk utilities */
#include "logmmm.h"
chain_list *expr;
pNode res;
pCircuit pC;
initializeBdd(SMALL_BDD);
pC = initializeCct("circuit 1",10,10);
addInputCct(pC,"a");
addInputCct(pC,"b");
/* let's suppose that expr = (OR (AND (NOT a) b) a) */
res = ablToBddCct(pC,expr);
displayBdd(res,1);
/* it will display
@res INDEX = 3 LOW = @nodeA HIGH = ONE
@nodeA INDEX = 2 LOW = ZERO HIGH = ONE
*/
destroyCct(pC);
destroyBdd(1);
SEE ALSO log(1), bdd(1), abl(1), bddToAblCct(3).
BUG REPORT
This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.
ASIM /LIP6 October 1, 1997 ABLTOBDDCCT(3)
Check Out this Related Man Page
APPLYBINBDD(3) BDD functions APPLYBINBDD(3)ORIGIN
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
Paris, France.
Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users@asim.lip6.fr
NAME
applyBinBdd - applies an operator to two BDD.
SYNOPSYS
#include "logmmm.h"
pNode applyBinBdd(oper,pBdd1,pBdd2)
short oper;
pNode pBdd1;
pNode pBdd2;
PARAMETERS
oper operator number to apply (OR,AND,XOR,NAND,NOR,NXOR)
pBdd1 first argument
pBdd2 second argument
DESCRIPTION
applyBinBdd() applies oper to pBdd1 and pBdd2. This function provides the basic method for creating the representation of a boolean func-
tion.
EXAMPLE
#include "mutnnn.h" /* mbk utilities */
#include "logmmm.h"
pNode nodeA,nodeB;
pNode res;
initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);
nodeB = createNodeTermBdd(3);
res = applyBinBdd(OR,nodeA,nodeB);
displayBdd(res,1);
/* it will display
@res INDEX = 3 LOW = @nodeA HIGH = ONE
@nodeA INDEX = 2 LOW = ZERO HIGH = ONE
*/
destroyBdd(1);
SEE ALSO log(1), bdd(1), applyBdd(3), notBdd(3), constraintBdd(3), composeBdd(3), addListBdd(3), displayBdd(3), createNodeTermBdd(3).
BUG REPORT
This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.
ASIM /LIP6 October 1, 1997 APPLYBINBDD(3)
Hi
$ a=10 ; b=2
$ expr $a + $b
12
$ expr $a - $b
8
$ expr $a / $b
5
$ expr $a * $b
expr: syntax error
Any idean why I am getting this error only when multiplying two numbers. Whats the exact syntax?
Thanks a lot to all in advance
CSaha (5 Replies)
hi guys....
i hava a command expr... where i m adding a value in a loop
like
Tc=`expr $Tc\+ $l`
where
Tc is declred as a variable and every time l contains a new vaue
if
Tc =0 initially
and l =2
Tc should be equal to 0+ 2
and then
l = 4
Tc = 2+4
and dispaly as 6
but after... (5 Replies)
HELLO i have a problem i need to do this equation:
final_result=*1.5. I am using expr like this:
FINAL_RESULT=`expr (($RESULT1 + $RESULT2 / 2) \* 3) / 2` but it is wrong. Someone help me.thank you (2 Replies)
Hi,
I am very new to Shell Scripting and am using Redhat Linux 2.6.9.-22.EL kernal version. When I am executing one statement like below I am getting the below mentioned error:
$ x=50
$ y=10
$ z=`expr x / y`
expr: non-numeric argument
$
Could anyone help in this how to resolve?
... (3 Replies)
Hi Friends
I have a compiler(Sun Forte,I believe) running in my Solaris 9 box.
since y'day my development team is finding this error when they compile:
ld.so.1: expr: fatal: libgmp.so.3: open failed: No such file or directory
I ran a search for this file and found it in one of my file... (2 Replies)