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
BDDTOABLCCT(3) BDD functions BDDTOABLCCT(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
bddToAblCct - converts a BDD into an ABL within a circuit
SYNOPSYS
#include "logmmm.h"
chain_list *bddToAblCct(pC,pBdd)
pCircuit pC;
pNode pBdd;
PARAMETERS
pC Circuit in which is made the conversion
pBdd BDD to convert
DESCRIPTION
bddToAblCct() converts pBdd into an expression. This function returns a result that depends from the ordering of the primary input. This
function provides the basic method for the logical optimizer called in BOP.
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 res = (OR a b) */
expr = bddToAblCct(pC,applyBinBdd(OR,
createNodeTermBdd(searchInputCct(pC,"a"))),
createNodeTermBdd(searchInputCct(pC,"b")));
displayExpr(expr);
/* it will display
(OR a b)
*/
destroyCct(pC);
destroyBdd(1);
SEE ALSO log(1), bdd(1), abl(1), ablToBddCct(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 BDDTOABLCCT(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)