Losing Don't cares in G1Eager in Transduction method
Opened this issue · 0 comments
MyskYko commented
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();
}