MyskYko/bdd

Losing Don't cares in G1Eager in Transduction method

Opened this issue · 0 comments

CalcG( fanin ) and CspfFICone( fanin ) should be added.

    void G1Eager( int fanin, int fanout )
    {
      if ( nVerbose > 2 )
	{
	  std::cout << "\tEager reduce with a connection from gate" << fanin << " to gate" << fanout << std::endl;
	}
      int wire = CountWire();
      CspfFICone( fanout );
      if ( wire == CountWire() )
	{
	  Disconnect( fanin, fanout );
	  CspfFICone( fanout );
	  CalcG( fanin ); // added
	  CspfFICone( fanin ); // added
	  return;
	}
      Cspf();
    }