Skip to content

A
abc
Commit 46370974 by Alan Mishchenko
Options

New AIG optimization package.

parent ad8a3f51
Showing with 4 additions and 3 deletions
src/bdd/cudd/cuddSymmetry.c
...@@ -1632,6 +1632,7 @@ ddSymmSiftingBackward( ...@@ -1632,6 +1632,7 @@ ddSymmSiftingBackward(
Move *move; Move *move;
int res = -1; int res = -1;
size = size;
for (move = moves; move != NULL; move = move->next) { for (move = moves; move != NULL; move = move->next) {
if (move->size < size) { if (move->size < size) {
size = move->size; size = move->size;
......
src/opt/dau/dauDsd.c
...@@ -412,7 +412,7 @@ void Dau_DsdTestOne( word t, int i ) ...@@ -412,7 +412,7 @@ void Dau_DsdTestOne( word t, int i )
// t = t & 0xFFFFFFFF; // t = t & 0xFFFFFFFF;
// t |= (t << 32); // t |= (t << 32);
p = Dau_DsdPerform( t ); p = Dau_DsdPerform( t );
return; // return;
t2 = Dau_DsdToTruth( p ); t2 = Dau_DsdToTruth( p );
if ( t != t2 ) if ( t != t2 )
......
src/opt/dau/module.make
SRC += src/opt/dau/dau.c \ SRC += src/opt/dau/dau.c \
src/opt/dau/daCore.c \ src/opt/dau/dauCore.c \
src/opt/dau/daDsd.c src/opt/dau/dauDsd.c
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment