`buffer_insertion`: AQFP buffer insertion and verification + `buffered_network` data structure and I/O

[lee30sonia]

• buffer_insertion is restructured from aqfp_view and the interfaces are adjusted.
• buffered_aig_network and buffered_mig_network are implemented as interfacing network types to represent the results of buffer insertion by aqfp_buffer.
• Verification method is provided to check if the resulting buffered network fulfills the given technology constraints.
• write_verilog and verilog_reader are modified to work with buffered networks.
• lorina is updated to support submodules.

[lee30sonia]

Code for chunked movement is removed for now and will be provided in another PR.

[marcelwa]

Nice! :)

[codecov-commenter]

Codecov Report

Merging #478 (c72146b) into master (1f7fa60) will increase coverage by 0.27%. The diff coverage is 94.45%.

@@            Coverage Diff             @@
##           master     #478      +/-   ##
==========================================
+ Coverage   83.20%   83.47%   +0.27%     
==========================================
  Files         135      136       +1     
  Lines       15585    15926     +341     
==========================================
+ Hits        12967    13295     +328     
- Misses       2618     2631      +13     

Impacted Files	Coverage Δ
include/mockturtle/algorithms/simulation.hpp	92.23% <90.00%> (-0.23%)	:arrow_down:
include/mockturtle/io/verilog_reader.hpp	84.29% <92.30%> (+1.16%)	:arrow_up:
include/mockturtle/networks/buffered.hpp	94.31% <94.31%> (ø)
...de/mockturtle/algorithms/aqfp/buffer_insertion.hpp	94.49% <94.49%> (ø)
include/mockturtle/io/write_verilog.hpp	86.60% <100.00%> (+3.46%)	:arrow_up:
include/mockturtle/views/names_view.hpp	93.33% <0.00%> (ø)
include/mockturtle/generators/majority.hpp	100.00% <0.00%> (ø)
include/mockturtle/generators/majority_n.hpp	100.00% <0.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 1f7fa60...c72146b. Read the comment docs.