berkeley-abc/abc

Issues

• Is there a parallel version for CEC? Thanks!

  #325 opened 4 months ago by dezhangxd
  4

• Probably a bug in the function Dtc_ManCutMerge (in abc/src/proof/acec/acecFadds.c)

  #346 opened a month ago by Hinataee
  0

• the command write_bench only write the internal nodes in the form of LUT instead of AND and NOT?

  #329 opened 4 months ago by Hinataee
  1

• How to Effectively Begin Analyzing the Source Code of Project ABC?

  #344 opened 2 months ago by SJZbenxiaohai
  0

• Does `dsd` command work?

  #343 opened 2 months ago by matth2k
  0

• ABC interpetation of a XOR gate with complementary input for technology mapping

  #341 opened 2 months ago by jasperzw
  0

• Compilation problem

  #339 opened 3 months ago by ashionjy
  0

• Operating system applicable

  #338 opened 3 months ago by ashionjy
  2

• Any good tutorial to use ABC

  #288 opened 8 months ago by quantrpeter
  2

• fatal error: readline/readline.h: No such file or directory

  #337 opened 3 months ago by Rishov-NightKING
  0

• Assertion failure in &nf

  #336 opened 3 months ago by povik
  0

• Please exclude -ldl for NetBSD

  #332 opened 3 months ago by mayureshw
  0

• twoexact -I 2 -N 1 2 wrong behaviour

  #330 opened 4 months ago by FeldmeierMichael
  0

• Discussion(Resub): Potential bug point when collecting divisor.

  #324 opened 4 months ago by wjrforcyber
  0

• PI and PO names are changed after &deepsyn

  #321 opened 4 months ago by iahks
  1

• Remove bsat2?

  #314 opened 5 months ago by rocallahan
  1

• Issue with read_verilog in ABC: Assertion Failed and Parsing Error

  #312 opened 5 months ago by PerryLogic
  0

• Why do we need to remove HA whose AND2 is part of XOR2 without additional fanout when

  #311 opened 5 months ago by Hinataee
  0

• Use popcount intrinsics in `exorBits.cpp`

  #308 opened 5 months ago by rocallahan
  0

• abc: ./src/misc/vec/vecStr.h:356: Vec_StrEntry: Assertion `i >= 0 && i < p->nSize' failed.

  #306 opened 5 months ago by oharboe
  0

• segfault in `stime -p`

  #305 opened 6 months ago by Ravenslofty
  1

• Only getting one cell per class when running [read_lib -S 80 -G 3]

  #301 opened 7 months ago by b62833
  0

• verilog code reading error

  #300 opened 7 months ago by sun123-cmd
  0

• Time report error of Generalize in command "pdr -v"

  #298 opened 7 months ago by Jwtever
  0

• Issues with equivalence checking, when working with XAGs

  #292 opened 8 months ago by hibenj
  3

• NOR gate mapping

  #277 opened a year ago by Maya7991
  1

• How to run PDR

  #281 opened 9 months ago by sirandreww
  1

• Bug in zeroing AIG

  #278 opened 9 months ago by sirandreww
  2

• Issue(&nf): Missing delay transformation in genlib?

  #262 opened 10 months ago by wjrforcyber
  0

• Abc_AigUpdateLevelR_int: Assertion `Abc_ObjIsNode(pNode)' failed for some commands

  #271 opened a year ago by YiKangOY
  4

• Mapping behavioral level Verilog file to MIG network

  #256 opened a year ago by Maya7991
  4

• How to Step-by-Step Read IWLS 2005 Benchmarks?

  #276 opened a year ago by asfhiolNick
  0

• input a boolean function print a sop boolean function

  #275 opened a year ago by dolyg
  0

• ABC seems to output invalid BLIF files (.names using OFF-SET only)

  #274 opened a year ago by jpf91
  0

• How can I use `testnpn` to get all the npn equivalent class of one cell, or get whether two cell is npn equivalent

  #270 opened a year ago by youth1forever
  0

• Does ABC support read spice netlist and write to blif?

  #268 opened a year ago by youth1forever
  0

• consider publishing tagged releases

  #267 opened a year ago by proppy
  0

• Power-Aware Technology Mapping?

  #265 opened a year ago by ShvetankPrakash
  0

• ABC compiled with Clang optimizes worse than ABC compiled with GCC

  #264 opened a year ago by cr1901
  0

• Inconsistent result between cec and &cec

  #259 opened a year ago by mht208
  2

• Segmentation Fault while executing ABC

  #260 opened a year ago by Usmankiani-rs
  1

• Feat(&if): BMS is missing in &if?

  #261 opened a year ago by wjrforcyber
  0

• Hello

  #258 opened a year ago by AhmedEU
  0

• "&mfs" step gives incorrect result on big endian for objects with >5 variables

  #257 opened a year ago by zeldin
  0

• MergeLibraries

  #254 opened a year ago by SimplexFirmiana
  0

• Feat(Nodedup): Avoid high fanout on all obj types?

  #253 opened a year ago by wjrforcyber
  0

• BUG 'write_cex' get wrong answer

  #251 opened a year ago by lanxuan365
  0

• Bug(&mfsd): Not working on K = 5 or K = 6

  #248 opened a year ago by wjrforcyber
  0

• Discussion(Function): Any idea on replacing strtok?

  #245 opened a year ago by wjrforcyber
  0

• Command &dch failed on an assert.

  #244 opened a year ago by wjrforcyber
  1