Home
last modified time | relevance | path

Searched refs:BddReg (Results 1 – 2 of 2) sorted by relevance

/dports/cad/alliance/alliance/src/b2f/src/
H A Db2f_beh2fsm.c447 bddnode *BddReg; local
554 BddReg = searchbddcircuitin( (bddcircuit *)0, BehReg->NAME );
585 if ( BitZero ) BddNode = applybddnodenot( (bddsystem *)0, BddReg );
586 else BddNode = BddReg;
/dports/cad/alliance/alliance/src/mocha/src/
H A Dmocha_check.c407 bddnode *BddReg; local
511 BddReg = searchbddcircuitin( (bddcircuit *)0, BehReg->NAME );
525 if ( BitZero ) BddNode = applybddnodenot( (bddsystem *)0, BddReg );
526 else BddNode = BddReg;