Code

Add Optimization Barriers#4763

Code

Open

georgerennie wants to merge 13 commits intoYosysHQ:mainYosysHQ/yosys:mainfrom georgerennie:george/optimization_barriersgeorgerennie/yosys:george/optimization_barriersCopy head branch name to clipboard

+584-32

Commits

Commits on Nov 20, 2024

• kernel: define $barrier cell

  Show description for bdc9783
  georgerennie

  committed
  bdc9783

• opt_merge: don't merge $barrier cells

  georgerennie

  committed
  70646da

• write_aiger2: support $barrier

  georgerennie

  committed
  88816cc

• write_btor: support $barrier, $buf and $_BUF_

  georgerennie

  committed
  6b3901e

• write_firrtl: support $buf and $barrier

  georgerennie

  committed
  ab293d6

• write_smt2: support $buf and $barrier

  georgerennie

  committed
  cbe86af

• write_verilog: support $buf and $barrier

  georgerennie

  committed
  73ba5da

• flatten: add -barriers flag

  Show description for c352f71
  georgerennie

  committed
  c352f71

• optbarriers: add command to add/remove optimization barriers

  Show description for c6e8fb2
  georgerennie

  committed
  c6e8fb2

• prep: add -barriers flag

  Show description for 33d5138
  georgerennie

  committed
  33d5138

Commits on Dec 2, 2024

• optbarriers: add -noconns option

  georgerennie

  committed
  f372def

• optbarriers: preserve SCCs in processes

  georgerennie

  committed
  6532cf6

• optbarriers: comment typo

  georgerennie

  committed
  3ed98d6