lsils / mockturtle

C++ logic network library
MIT License
210 stars 139 forks source link

AQFP network fix #540

Closed aletempiac closed 2 years ago

aletempiac commented 2 years ago

This pull request corrects thereplace_in_node implementation in the AQFP network type. A change in the binding_view report_gates report format in the binding_view has been attached to this pull request. Akers synthesis test cases have been updated using some selected passing patterns to remove the random function. A proper fix for #533 should be considered in future pull requests.

hriener commented 2 years ago

If we don't fix #533, we should fix the Aker's test, which tries a random function :))

aletempiac commented 2 years ago

Yes, I can take a look and fix the test case here :)