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

Petit bug dans syf_verify

This commit is contained in:
Ludovic Jacomme 2002-08-01 14:20:17 +00:00
parent 4684a8ed23
commit 2cc200ee82
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
alliance/src/syf/src/syf_verify.c
View File

@ -881,6 +881,10 @@ void SyfFsmTreatReset( FsmFigure )
BddCircuit = SyfFsmMakeBddCircuit( BddSystem, FsmFigure ); BddCircuit = SyfFsmMakeBddCircuit( BddSystem, FsmFigure );
reorderbddsystemsimple( BddSystem ); reorderbddsystemsimple( BddSystem );
} }
else
{
setbddlocalcircuit( FsmFigure->CIRCUIT );
}
/* /*
** Compute Sum Star Transitions ** Compute Sum Star Transitions
@ -898,6 +902,9 @@ void SyfFsmTreatReset( FsmFigure )
SumStar = applybddnode( (bddsystem *)0, ABL_OR, SumStar, TransCond ); SumStar = applybddnode( (bddsystem *)0, ABL_OR, SumStar, TransCond );
} }
addbddcircuitout( (bddcircuit *)0, "hello", SumStar );
testbddcircuit( (bddcircuit *)0 );
decbddrefext( SumStar ); decbddrefext( SumStar );
SumStar = applybddnodenot( (bddsystem *)0, SumStar ); SumStar = applybddnodenot( (bddsystem *)0, SumStar );