lsils/mockturtle

Issues

• Writer/Reader combination that supports `names_view`

  #626 opened 7 months ago by HackHerz
  1

• Getting parse errors when reading Verilog files using Lorina Verilog reader

  #624 opened 9 months ago by Maya7991
  5

• Non-deterministic behavior in ESOP computation

  #617 opened a year ago by aletempiac
  1

• Convert behavioral level Verilog file to MIG network

  #622 opened 9 months ago by Maya7991
  2

• Convert a behavioural level verilog file to MIG network

  #621 opened 9 months ago by Maya7991
  0

• The `blif_reader` to mig directly is not worked as expected

  #620 opened 10 months ago by wjrforcyber
  3

• What if I want to use original ABC with mocktutle?

  #619 opened 10 months ago by wjrforcyber
  3

• Thank you, there is a problem, could you please help me.

  #611 opened a year ago by Bingo678
  2

• How to reproduce DATE20 Exact DAG-Aware Rewriting?

  #604 opened a year ago by Purewwww
  1

• Bug in refactoring

  #571 opened a year ago by aletempiac
  3

• `write_blif` incorrect behavior when PO is connected to PI of the same index

  #600 opened a year ago by lee30sonia
  4

• `write_blif` outputs duplicate `.names`

  #587 opened a year ago by phyzhenli
  4

• `refactoring` using `sop_factoring` assertion fails in `mffc_view`

  #602 opened a year ago by lee30sonia
  2

• `aig_resubstitution` following `cut_rewriting` without `cleanup_dangling` in between creates NEQ circuits

  #601 opened a year ago by lee30sonia
  2

• Technology Mapping of sequential aig fails.

  #598 opened a year ago by lesliepy99
  2

• Bug in aqfp_flow_date

  #595 opened a year ago by Flians
  1

• NEQ bug in new LUT mapper

  #596 opened a year ago by lee30sonia
  1

• lut_map creates non-equivalent network

  #592 opened a year ago by dl575
  1

• `substitute_node`: Should it be allowed to substitute with a dead node?

  #565 opened a year ago by lee30sonia
  2

• Optimization algorithms to support names_view<sequential<xxx_network>>

  #588 opened a year ago by phyzhenli
  1

• Write a sequential circuit with register outputs.

  #572 opened 2 years ago by Nozidoali
  0

• Is it intended that `create_pi()` does not trigger `on_add` events?

  #568 opened 2 years ago by marcelwa
  5

• mig_algebraic_depth_rewriting_splitters::run_selective is endless

  #548 opened 2 years ago by Flians
  1

• NEQ bug in aig_resub

  #545 opened 2 years ago by lee30sonia
  1

• buffer_insertion::dry_run with until_sat is endless

  #546 opened 2 years ago by Flians
  1

• ALAP in depth_view

  #555 opened 2 years ago by lee30sonia
  0

• Using mockturtle as a library in another project

  #550 opened 2 years ago by wei-shen-wang
  1

• Bug in akers_synthesis (known)

  #533 opened 2 years ago by lee30sonia
  0

• Failing Windows builds using different toolsets (#530)

  #531 opened 2 years ago by marcelwa
  7

• Network fails equivalence check after applying the refactoring operation with direct_resynthesis twice

  #527 opened 2 years ago by KamilDre
  4

• Cut enumeration before and after node substitution in AIG

  #526 opened 2 years ago by nitabukoshi
  4

• multiple definition

  #525 opened 2 years ago by Flians
  4

• Is it necessary to call the cleanup_dangling function after calling the mig_algebraic_depth_rewriting operation?

  #511 opened 2 years ago by KamilDre
  12

• Refactoring creates cyclic network

  #519 opened 2 years ago by lee30sonia
  1

• Compilation issue for Clang 10

  #514 opened 3 years ago by lee30sonia
  1

• Resubstitution implementation

  #498 opened 3 years ago by fmozafari
  1

• Functional reduction followed by SOP balancing fails equivalence check

  #496 opened 3 years ago by srtemp
  2

• Balancing (and probably other optimizations) don't preserve names

  #495 opened 3 years ago by srtemp
  6

• Quality test are not passing.

  #479 opened 3 years ago by boschmitt
  1

• compile warnings: -Werror=unused-but-set-variable

  #432 opened 3 years ago by fabrizioferrandi
  4

• Use parallel-hashmap instead of sparsepp

  #339 opened 4 years ago by boschmitt
  0

• Assertion `_pend != _pcuts.end()' failed.

  #371 opened 4 years ago by mfernan2
  7

• AIG is being transformed when read in

  #403 opened 4 years ago by mfernan2
  3

• incorrect description of fan in limit in reconvergence cut algo

  #317 opened 4 years ago by mfernan2
  3

• multiply defined xmg_dont_cares_optimization

  #354 opened 4 years ago by mfernan2
  1

• Quality test MIG refactoring with Akers resynthesis fails

  #270 opened 4 years ago by hriener
  0

• bug with assumptions in cnf_view

  #303 opened 4 years ago by lee30sonia
  3

• Bug in simulation.hpp

  #282 opened 4 years ago by lee30sonia
  2

• Bug in node_map

  #260 opened 4 years ago by lee30sonia
  5

• feature request: is_po

  #267 opened 4 years ago by mfernan2
  5