riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

- bug fix (VHDL ASSERT -> Segmentation fault) 

- disable BDD reorder (not implemented / bug)
This commit is contained in:
Ludovic Jacomme 2004-09-03 21:55:39 +00:00
parent 694ad8fbd3
commit bee31a8d92
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
alliance/src/proof/src/proof_util.c
View File

@ -1161,7 +1161,10 @@ gcNodeBeh (beh, lstbeh)
mesg = beh->BEMSG; mesg = beh->BEMSG;
while (mesg) while (mesg)
{ {
mesg->NODE = regenereBdd (mesg->NODE, &sysBddAux, pTHNode); if ( mesg->NODE )
{
mesg->NODE = regenereBdd (mesg->NODE, &sysBddAux, pTHNode);
}
mesg = mesg->NEXT; mesg = mesg->NEXT;
} }
@ -1194,7 +1197,6 @@ orderProofBeh (bef1, bef2, varaux)
chain_list *order; chain_list *order;
chain_list *ptChain; chain_list *ptChain;
beaux_list *aux; beaux_list *aux;
int vhb_reorder = 2;
chain_list *makeOrderAbl (); chain_list *makeOrderAbl ();
order = berinToChain_list (bef1); order = berinToChain_list (bef1);
@ -1233,7 +1235,7 @@ orderProofBeh (bef1, bef2, varaux)
printf ("\n\n"); printf ("\n\n");
} }
makeBddBeh (bef1, bef1->CIRCUI, vhb_reorder, 0, 100, 10000000, NULL); makeBddBeh (bef1, bef1->CIRCUI, 0, 0, 100, 10000000, NULL);
printf ("---> final number of nodes = %d", (sysBdd.pRT)->compteur); printf ("---> final number of nodes = %d", (sysBdd.pRT)->compteur);