Issue with amulet2.0 generating remainder in primary inputs only

d-kfmnn / amulet2

AMulet 2. - A better AIG Multiplier Examination Tool

MIT License

20 stars 4 forks source link

Issue with amulet2.0 generating remainder in primary inputs only #3

Closed vkrao100 closed 3 years ago

vkrao100 commented 3 years ago

I was trying to run another test case with an internal node s-a-0. I see that amulet1.0 and amulet1.5 are able to generate the correct remainders in terms of primary inputs only. However, amulet2.0 generates a remainder in terms of non-primary inputs for the exact same test case.

Attached the test case (blif/aig)

4-bit-n18-sa-0.zip

vkrao100 commented 3 years ago

@d-kfmnn

d-kfmnn commented 3 years ago

In amulet2.0 I use a different ordering method than in amulet1.x Thanks again for the test case. I'll check out what causes the problems.

Best, Daniela

d-kfmnn commented 3 years ago

Hi,

indeed the new ordering in AMulet2 broke on your example, which is now fixed. Daniela