AQFP buffer optimization based on chunked movement

[lee30sonia]

• Implementation of chunk construction and movement
• Separates and polishes verification code (buffer_verification.hpp)
• Corrects buffer counting and buffered-network dumping code (verified with various assertions and tested with all possible assumptions on MCNC benchmarks)
• Final code used to produce the experimental results of [1]

[1] Irredundant Buffer and Splitter Insertion and Scheduling-Based Optimization for AQFP Circuits. Siang-Yun Lee et. al. IWLS 2021.

[codecov-commenter]

Codecov Report

Merging #483 (c61f7f3) into master (882d91a) will decrease coverage by 0.00%. The diff coverage is 86.06%.

@@            Coverage Diff             @@
##           master     #483      +/-   ##
==========================================
- Coverage   83.46%   83.45%   -0.01%     
==========================================
  Files         136      137       +1     
  Lines       15926    16208     +282     
==========================================
+ Hits        13292    13527     +235     
- Misses       2634     2681      +47     

Impacted Files	Coverage Δ
...de/mockturtle/algorithms/aqfp/buffer_insertion.hpp	87.47% <81.60%> (-7.03%)	:arrow_down:
...mockturtle/algorithms/aqfp/buffer_verification.hpp	100.00% <100.00%> (ø)

---

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 882d91a...c61f7f3. Read the comment docs.